IC 验证周报｜2026 年第 38 周
信息覆盖范围
- 时间范围：2026-09-14 00:00 至 2026-09-20 23:59（北京时间，ISO 2026 年第 38 周）。
- 收录原则：仅收录覆盖期内正式公开、能从原始页面核对日期且与数字 IC 验证直接相关的内容。
- 事实边界：以下两篇均为厂商技术文章。产品功能描述属于厂商陈述，未由本刊独立测试；工程建议为编辑判断。
本周速览
本周可核实的增量不多。9 月 18 日，VerifAIX 从设计变更后的断言失败入手，描述将失败分为 RTL 缺陷、断言问题和非法输入，再复跑形式验证并交由工程师审批的流程；同日 Siemens EDA 讨论了把 FMEDA、需求和故障仿真等验证证据保持关联的工作流。两者共同提示：自动分诊和安全分析都需要保留可审查的证据及版本边界。这是编辑判断，不代表两家厂商的效果声明已得到验证。
标准与方法学
本周暂无值得单独收录的更新。
工具与开源项目
本周暂无值得单独收录的开源版本更新。两篇厂商文章提及的具体产品能力见下文，均未核实为本周新版本发布。
工程实践
将断言失败分诊保留为可复核流程
已确认事实（发布日期：2026-09-18）：VerifAIX 联合创始人 Kenneth Roe 在原文《Automating Assertion-Failure Triage After Design Changes》中，把回归断言失败的原因分为 RTL 错误、断言错误和非法输入条件三类。文章描述的产品流程包括运行形式工具、提出修改、重新运行、输出逐项报告，并由工程师最终审批。这是厂商对自身产品的描述，文中没有可供独立复现的比较实验。
编辑判断：团队即使不用该产品，也可按同一分类记录每条失败的 RTL 版本、性质、反例、修改和复跑结果。尤其要区分“断言被修好”和“断言被削弱”：检查修改前后的触发条件与非空通过（vacuity），并让责任人审批 waiver，才能避免用清零失败数代替验证收敛。
让 FMEDA 与验证证据随设计版本一起演进
官方观点（发布日期：2026-09-18）：Siemens EDA 的原文《Smarter FMEDA, Safer Designs》指出，需求、FMEDA、安全指标和验证活动分散维护时，变更影响分析与审计追溯会变难。文章称其工具可把 FMEDA 记录连接到结构安全分析、故障仿真、仿真加速和形式验证活动，并提供版本管理。这些是厂商功能说明，不能据此推断项目已提高覆盖率或通过安全认证。
编辑判断：汽车或其他安全相关 SoC 项目可先做一张最小追溯表：每个安全机制关联需求编号、RTL 基线、故障模式、注入/形式检查、结果和 FMEDA 版本。设计或供应商 IP 更新时，优先检查哪些关联失效，再决定需要重跑的故障活动。
行业与岗位动态
本周暂无值得单独收录的更新。
本周推荐
推荐阅读 VerifAIX 的断言失败分诊原文（2026-09-18），重点看三类失败的分类与人工审批环节；可将其当作团队回归报告字段的检查清单，而非产品效果证明。
来源与说明
本期采用 2 个一手来源页面，均于覆盖期内发布：
- VerifAIX：Automating Assertion-Failure Triage After Design Changes（发布日期：2026-09-18；厂商技术文章）。
- Siemens EDA：Smarter FMEDA, Safer Designs（发布日期：2026-09-18；厂商技术文章，含产品介绍）。
两篇原文中的产品效果和功能范围尚未由本刊独立复现。本期没有把覆盖期外的标准公告、会议活动或未核实的转载计作本周新闻。