形式化验证 1

• 光子学迫使 Chiplet 重新设计：光进封装为何是多物理场协同设计问题 —— Semiconductor Engineering 精读 2026/10/04