缘，红色的表示时序违例。青苗一号的全部时序路径中，绿色占比百分之八十七，黄色占比百分之十一，红色占比百分之二——比北洲EDA的时序分析结果多出了大约百分之一的红色路径。

    “这百分之二的红色路径是虚假违例。”张京京把红色路径的详细报告放大，“补天时序分析引擎在提取寄生参数时，对多层金属堆栈结构的耦合电容建模偏保守——它用了一个基于二维电场近似的简化公式，没有考虑三维电场在金属侧壁的屏蔽效应。北洲EDA用的是三维有限元求解器，耦合电容的提取精度更高。这百分之二的虚假违例在实际流片时不会造成功能失效，但它会迫使设计团队花额外的工程时间去逐条排查和手动标注时序例外。这是补天时序分析模块下一个版本要解决的最优先问题——不是不能跑，是跑完之后还要花人工去清理虚假违例，这个人工成本是工具成熟度的真实瓶颈。”

    最后一个环节是物理验证。补天的物理验证引擎开始检查版图的工艺设计规则符合性——最小线宽、最小间距、金属密度、通孔包围等数百条规则的逐项扫描。大屏幕上跳动着规则检查的进度条，每一条规则的检查结果以绿色通过或红色违规标注。青苗一号的版图在四百二十条规则中通过了四百一十二条，违规八条——其中六条是天线效应检查的精度不足导致的虚假违规，两条是真实的工艺设计规则违例，需要手动修正版图。

    章宸在八条违规数据出现时没有关掉屏幕。他让屏幕上的违规报告完整展示在所有观摩者面前，然后拿起激光笔，把两条真实违例的位置在版图上逐一标注出来。“这两条违例的根因是补天布局布线引擎对工艺设计规则约束的优先权重置置和代工厂提供的设计规则手册存在偏差。代工厂规则手册中有一条关于通孔数组最小间距的约束在文档中被标注为‘推荐值’，但在实际工艺中这条约束是强制性的——不满足会导致光刻工艺的聚焦裕量不足。北洲EDA在读取代工厂规则手册时会自动将这类‘推荐值’升级为‘强制值’，补天的规则引擎目前还不具备这种基于工艺经验的自动升级能力。”

    哈森院士推荐的物理验证专家坐在第一排，听到这里时在笔记本上写了一行字。他写的不是问题，而是解决方案：“规则引擎的自动升级机制——建议补天团队与代工厂工艺集成工程师创建直接沟通渠道，获取规则手册之外的工艺经验数据。这类经验数据通常不在公开文档中，需要通过联合验证项目获取。”他把笔记本推到章宸面前，章宸看完后当场拍了一张照片发给了补天计划高校团队的规则引擎负责人。

    演示进行了将近两小时，全场无人离席。当第三排工作站最终生成完整的版图数据并输出设计交换格式文档时，章宸在大屏幕上调出了最后一组对比数据——补天工具链和北洲EDA针对同一颗青苗一号芯片的最终交付物对比。版图面积：补天比北洲大百分之八点三。功耗：补天比北洲高百分之五点一。时序裕量：补天比北洲少零点一二纳秒。物理验证违规数：补天八条，北洲零条。

    章宸在对比数据下写了一行字：“差距，已知。追赶路径，已规划。”

    然后他关上投影，对着全场说了一段让所有人都沉默了片刻的话。“有人在补天计划激活时间过我——我们为什么要自己做EDA？北洲的EDA工具用得好好的，性能稳定，生态成熟，全球所有芯片设计公司都在用。我的回答是：因为工具链的自主性不是一个技术问题，而是一个生存问题。实体清单可以在一夜之间切断代工信道，也可以在一夜之间切断EDA许可证。北洲上一次升级EDA出口限制的时候，受影响的企业不是不能设计芯片——他们是一行RTL代码都改不了，因为所有代码都要在EDA工具里打开。工具断了，就意味着整个芯片设计能力归零。”

    他顿了顿，指向身后那十二台断开了所有外部网络连接的工作站。“今天这场演示要证明的不是我们已经追上了北洲——我们没追上，差得还远。我们要证明的是，从今天起，未来科技具备了一条不需要任何外部工具许可证就能独立完成数字芯片全流程设计的工具链路。它的性能还不好，精度还不够，对先进工艺节点的支持还不到位。但它在跑，而且它的每一次迭代都掌握在我们自己手里。北洲的工具断供不再是灭顶之灾，而是一个痛苦但可管理的损失——这就是补天计划的意义。”

    散场后，李明哲发了一条消息到章宸的终端上。消息内容极其简短：“日内瓦方面已收到补天演示录屏。联合检测验证工作组欧方秘书处确认，将设计工具链的全程可追朔日志纳入‘技术安全性’维度的验证材料目录。这是继供应链轫性之后，我们打开的第二个验证维度。”

    章宸把消息转发给陈醒，附了一句话：“补天演示例完成。下一件事——合城产能运营智能化改造，老韩的产线和天枢OS的深度集成。”

    陈醒回复只写了三个字：“让他讲。”