故障注入 VC Z01X —— 安全机制如何实现抓故障

$fs_set_status() 设置状态后，仿真继续进行；

$fs_drop_status() 设置状态后，该故障的仿真停掉；

过滤不想要的fault

在Generate Faults阶段，会基于design对fault进行过滤；也就是下图中的紫色部分；

下图中黄色部分是在Testability（COATS）阶段进行的；

安全的故障是不会违反安全目标的；

被标记为NO或NC的故障是不会进行故障仿真的；

写好 SFF（含正确的观测/检测点） → 让 Z01X 做预分析剪枝（自动识别 NC/NO 等） → 对剩下的有效故障跑仿真 → 看 DD/ND 报告。