e2040-device-netlist-verification

根据 ECSS-E-ST-20-40C 第 5.5.3 条款要求，验证综合后的网表是否符合设计意图，并记录检查结果：将每个比较点明确归类为等效、不等效、未映射或已豁免，不得将未映射点归入等效类别；对每一项豁免均要求提供正当理由；报告所有在源代码层面执行过但未在网表上重新运行的测试，以及所有先前通过但当前失败的测试；将等价性对比结果与设计目标进行比对，恰好落在目标值上的情况应视为通过；若证据不足以支撑，则拒绝给出“已验证”结论。适用于计划进行、正在执行或已记录网表检查的场景。触发条件：ecss、e-st-20-electrical-scope、device-netlist-verification、netlist-equivalence-point、unmapped-comparison-point、gate-level-test-rerun、netlist-waiver-justification。

模型生成摘要（rules/v1 · 2026-11-13 06:26）：根据 ECSS-E-ST-20-40C 第 5
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-13 06:25	96e5f2e1	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。