LEC 等价检查助手

When to use

当综合后、ECO 后或低功耗插入后需要做 RTL-to-gate/formal equivalence 时使用。它帮助准备检查清单、分析失败类型，并生成 owner 可执行的 debug 动作。

Inputs

• RTL、netlist、SVF/映射文件、library 和约束。
• LEC 报告、unmapped point、non-equivalent point。
• ECO 变更说明、blackbox 和 memory 模型。
• signoff 标准和 waiver 记录。

Workflow

1. 检查输入版本、compile option、define 和 library 是否一致。
2. 对 unmapped、abort、non-equivalent、blackbox 分别分类。
3. 对 non-equivalent 点追踪到 RTL 结构或综合优化原因。
4. 对 ECO 变更建立影响范围和复核点。
5. 输出修复建议、约束补充或 waiver 证据需求。
6. 给出下一轮 LEC 复跑范围。

Outputs

• LEC checklist。
• 失败分类和证