芯华章刘军：AI让设计生成更易，但验证不会更便宜

芯华章科技研发副总裁刘军日前接受电子创新网专访时表示，AI让芯片设计生成变得越来越容易，但验证不会因此变得便宜。随着AI能够生成越来越多的代码，验证和优化的重要性将进一步上升。这也是芯华章正在推进Agentic EDA的核心逻辑。

刘军认为，真正的Agentic EDA是让AI从辅助工具进一步成为能够理解设计意图、规划任务、调用工具、分析结果、迭代执行的智能体。其架构中，大模型承担推理和任务规划，Agent负责拆解任务、调用工具并理解结果，而真正产生确定性结果的依然是底层EDA工具。在芯片领域，“会生成”并不等于“能签核”，大模型的概率性输出需要由确定性工具完成最终验证与签核。

芯华章正在推进X-IVS智能验证系统，将AI能力嵌入Simulation、Debug和Formal Verification等环节。Simulation Agent可根据Coverage缺口生成针对性测试激励，形成测试生成到仿真再分析的闭环；Debug Agent对失败用例进行分类、关联分析和Root Cause定位；Formal Agent在提高SVA断言生成能力的同时，增加与原始Specification一致性检查。

刘军特别强调“可信AI”概念，Agent必须建立完整的证据链，回答AI做了什么、为何这样做、调用了哪些工具，最终结论需由工程师通过确定性EDA工具确认。AI时代设计生成速度正在超过验证能力，验证反而成为需要重点补强的环节。未来Agentic EDA的竞争高地，在于谁能最快、最可靠地证明AI生成的设计是正确的，并将其优化到足够好的PPA水平。