章宸把补天v1的发布日定在了追光产线合规验收报告送达日内瓦的第五天。这个时间节点的选择没有巧合——合规验收证明了制造端的透明化，补天v1要证明的是设计工具链的透明化，两条线咬合在一起，才能在联合检测验证工作组那里构成一个完整的“可验证技术体系”闭环。
发布地点仍然是合城产学研融合中心的多功能厅。方敏把场地布置得比前两次演示更简洁——没有巨幅背景板，没有产品海报，只在主席台上放了十二台断网工作站，和一个两米宽的投影屏幕。屏幕两侧各挂着一幅喷绘，左侧是补天工具链四个月前公开演示时那张“差距对比表”的高清翻印版——面积大百分之八点三、功耗高百分之五点一、物理验证违规八条——每一项差距旁边仍然保留着章宸当时写下的那行字：“差距，已知。追赶路径，已规划。”右侧是一幅新的对比表，数据是在发布会前七十二小时刚刚跑完的，基于同一颗青苗一号芯片的rtl代码，用补天v1从头到尾重新跑了一遍全流程。
新的对比表上只有四行数据。版图面积：补天v1比北洲eda大百分之三点七——从四个月前的百分之八点三压缩了四点六个百分点。功耗：补天v1比北洲eda高百分之二点八——从五点一压缩了二点三个百分点。时序裕量：补天v1比北洲eda少零点零四纳秒——从零点一二纳秒压缩了零点零八纳秒。物理验证违规：补天v1一条——从八条压缩了七条，剩下的一条是天线效应检查精度不足导致的虚假违规，根因与四个月前完全一致，标注为“待解决”。
章宸站在两幅对比表之间，开场白只有三句话：“四个月前在这里，我展示了一张差距清单，上面写着我们和北洲eda之间的差距有多大。今天在这里，我展示第二张差距清单，上面写着我们和北洲eda之间的差距缩小了多少。两张清单挂在同一面墙上，不是为了庆祝，是为了让所有人看清楚——追赶路径不是一句空话，每一步都踩在具体的数字上。”
他按下演示激活键，十二台断网工作站同时亮起。补天v1的架构和四个月前的原型版本已经完全不同。逻辑综合模块的引擎内核被重写了一半——补天高校团队中一所中部工科大学的编译优化实验室贡献了一个基于机器学习的标准单元库特征化预训练模型，将逻辑综合阶段的面积优化精度提升了将近四个百分点。这个模型的训练数据不是来自任何商业eda工具的逆向工程，而是从公开发表的学术基准电路和追光产线实际流片数据中提取的标准单元延迟与功耗特征。章宸在演示中特意强调了这个细节：“训练数据的来源全部可以公开追朔——学术基准电路是公开发表的，流片数据是我们自己产线跑出来的。这条技术路线不依赖任何第三方工具的闭源数据库。”
布局布线模块的改进更直观。张京京在演示中展示了补天v1的多线程并行绕线引擎——这是四个月前被列为三大根因之一的那个“单线程串行执行”问题的解决方案。新引擎将绕线任务分解为可以独立并行执行的子局域，在合城本地服务器集群的三十二核处理器上同时跑十六条线程，绕线速度比四个月前快了将近三倍，版图面积膨胀率从百分之四下降到了百分之一点二。她在演示屏幕上调出了并行绕线的实时任务分配图，十六条线程的颜色在版图平面上各自推进，边界处的走线衔接通过一个共享的约束缓存层来同步，不需要线程间互相等待。“这个并行架构的设计思路是受到了天权6号多时钟域方案中影子寄存器组异步交换机制的启发，”张京京说，“物理设计中的并行问题和芯片设计中的时钟同步问题，本质上是在解决同一个工程矛盾——如何在保持局部自治的同时保证全局一致。”
时序分析模块的改进是补天v1中最难啃的一块骨头。补天高校团队中一所东部工科大学的集成电路可靠性实验室贡献了一个