企业官网建设流程全解析

时钟门控

时钟门控的 TE 端使用 scan en 来控制有助于在 capture 时覆盖到 TE 端的 fault

analyze_fault

analyze_fault 命令可以敏化指定引脚的 fault，并且往后传播到可观察点

下图的 abort fault 在时序深度为 3 时被观测到

CV/FV/B

set_gate_report 中约束值，禁止值和阻挡值的位置如下

debug transion fault，一条路径发生跳变时，需要将另一条路径控制到固定值，且不影响原本跳变的路径。

transition 的检查中，两拍脉冲会将在端口处的 X 的约束捕获到后一级 reg 中，从而导致污染掉原本的transition check 的路径。