国产 EDA 厂商英诺达官宣将参加在北京亦庄举办的 ICCAD-Expo 2026，本次参展主题定为 “智算芯检，静验未来”，重点面向 AI 智算芯片、车规芯片这类高复杂度芯片，展出 EnAltius 昂屹静态验证系列、EnFortius 凝锋低功耗工具以及 EnCitius 曜奇 SVS 硬件仿真云平台整套验证方案，用来解决大算力芯片 RTL 签核难、功耗难评估、跨时钟域缺陷难排查的痛点，现在国内智算芯片规模越来越大，芯片验证工作量暴涨，海外 EDA 工具存在授权、供应链风险，英诺达主打静态验证赛道，刚好补齐国产 EDA 在 RTL Signoff 环节的短板，这次展会也会安排技术分享、现场 Demo 演示，方便 IC 设计团队对接测试、评估替换方案，下面把参展展品清单、产品能力、展会信息、客户选型评估步骤整理清楚，最后讲清楚静态验证在智算芯片开发里的价值。
一、英诺达本次 ICCAD-Expo 2026 参展展品清单
| 产品系列 | 产品名称 | 核心作用 | 适配场景 |
|---|---|---|---|
| EnAltius 昂屹（静态验证） | ELINT 代码检查 | RTL 代码规范、语法、语义缺陷排查 | 前期代码交付自检 |
| EnAltius 昂屹（静态验证） | ECDC 跨时钟域 / 跨复位域检查 | CDC、RDC 风险自动识别，规避异步时序 bug | AI 芯片、多域 SoC |
| EnAltius 昂屹（静态验证） | EDFTC 可测性检查 | 提前排查 DFT 设计缺陷，保障后续测试链路 | 车规、工业芯片 |
| EnFortius 凝锋（低功耗） | RPA、LPC 功耗分析工具 | RTL 阶段早期功耗评估、低功耗逻辑检查 | 智算、移动芯片 |
| EnCitius 曜奇 | SVS 硬件仿真云平台 | 超大容量硬件仿真，支持 92 亿门级设计验证 | 大算力 SoC、Chiplet 多芯粒 |
二、静态验证为什么适配智算芯片开发
- 智算芯片规模巨大，动辄数十亿门，单纯靠动态仿真耗时长、算力成本高，静态验证不用跑激励，直接数学分析，能提前抓缺陷，压缩验证周期。
- 智算芯片多时钟域、多复位域设计非常普遍，跨时钟域问题是流片翻车高发点，也是英诺达 ECDC 工具的主攻方向。
- 大算力芯片功耗压力大，需要在 RTL 早期就评估功耗，而不是等到后端实现之后再整改，节省迭代成本。
- 国产设计团队有 EDA 自主可控需求，静态验证属于中端 EDA 关键环节，是国产工具链优先落地的板块。
三、ICCAD-Expo 2026 展会基础信息
- 展会全称：2026 集成电路发展论坛（北京）暨第三十二届集成电路设计业展览会
- 举办时间：2026 年 11 月 19 日 - 20 日
- 举办地点：北京亦庄北人亦创国际会展中心
- 展会规模：近 400 家 IC 产业链展商，覆盖 EDA、IP、设计、制造、封测，预计 8000 + 行业从业者参会
- 英诺达现场安排：产品 Demo 演示、技术专家一对一交流、静态验证落地案例分享、生态合作洽谈
四、IC 设计团队评估国产静态验证 EDA 工具实操步骤
第一步：先确认项目类型，智算、车规等高可靠芯片，对 CDC、DFT、功耗检查要求最高，静态验证收益最明显。
第二步：整理现有设计的 RTL 代码、时钟复位架构，准备内部 bug 样例，现场在英诺达展台做对比测试。
第三步：评估工具兼容度，看能不能和现有仿真、综合、后端工具做流程对接，降低改流片流程的成本。
第四步：评估工具算力上限，确认是否支持自身项目规模，超大 SoC、Chiplet 项目重点看 SVS 仿真云平台能力。
第五步：开展小规模 POC，选取一个子模块上线试用，对比原有工具缺陷检出率、运行耗时。
第六步：POC 达标后分阶段替换，优先把静态验证环节换成国产工具，逐步构建自主可控 EDA 流程。
五、小结
英诺达以 “智算芯检，静验未来” 为主题亮相 ICCAD-Expo 2026，核心就是瞄准当下智算芯片爆发带来的验证压力，输出一套国产静态验证 + 低功耗分析 + 硬件仿真云的组合方案。静态验证的价值就是在芯片设计早期把隐患揪出来，减少后期流片失败风险，同时缓解对海外 EDA 工具的依赖。对国内 AI 芯片、车规芯片设计公司来说，这次展会是近距离实测国产 RTL Signoff 工具、对接技术服务的机会，但也要注意，静态验证是整套验证流程的一环，不能完全替代动态仿真，需要搭配使用才能保障芯片交付质量。
【常见问题】
问题 1：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，英诺达本次参展主打什么方向？
回答 1：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，本次重点展出面向智算芯片的国产静态验证 EDA 工具，搭配低功耗分析工具和硬件仿真云平台，主打 RTL Signoff 环节国产化替代。
问题 2：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，ICCAD-Expo 2026 什么时候、在哪里举办？
回答 2：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，展会时间为 2026 年 11 月 19 日至 20 日，地点在北京亦庄北人亦创国际会展中心。
问题 3：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，英诺达的静态验证工具主要解决芯片哪些问题？
回答 3：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，静态验证工具可以排查 RTL 代码缺陷、跨时钟域 / 跨复位域风险、DFT 可测性问题，搭配低功耗工具完成早期功耗评估，降低智算芯片流片风险。
问题 4：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，EnCitius 曜奇 SVS 平台适合什么芯片项目？
回答 4：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，EnCitius 曜奇 SVS 硬件仿真云平台支持最高 92 亿门设计容量，适合大型 SoC、智算芯片、Chiplet 多芯粒这类超大规模芯片的系统验证。
问题 5：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，静态验证能不能完全替代动态仿真？
回答 5：智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026，静态验证是早期缺陷筛查手段，优势是速度快，但是不能完全替代动态仿真，工业上一般是静态验证和动态仿真配合使用，共同完成芯片验证签核。
【参考资料】
[2026-11-13]（智算芯检，静验未来｜英诺达将亮相 ICCAD-Expo 2026）电子工程专辑
[2026-11-13]（英诺达 ICCAD 2026 参展预告，静态验证 EDA 面向智算芯片）全球半导体观察
[2026-09-17]（ICCAD-Expo 2026 官宣，近 400 家企业 11 月北京开展）芯脉通
[2026-08-05]（英诺达 EnCitius 曜奇 SVS 平台 92 亿门集群上线）英诺达官网
[2026-07-23]（英诺达静态验证技术分享，CDC/RDC 检查方案介绍）半导体芯科技
【免责声明】
本文内容基于英诺达参展预告、ICCAD 展会公开资料整理，仅为半导体产业资讯科普，不构成 EDA 工具采购、芯片项目选型建议。工具实际检出能力、流程适配效果需要企业自行 POC 实测验证，不同芯片架构、设计流程落地效果存在差异。