首页 / 资讯中心 / 文章详情

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

故障注入 VC Z01X —— 安全机制如何实现抓故障 ★ FEATURED ARTICLE
$fs_set_status() 设置状态后仿真继续进行$fs_drop_status() 设置状态后该故障的仿真停掉过滤不想要的fault在Generate Faults阶段会基于design对fault进行过滤也就是下图中的紫色部分下图中黄色部分是在TestabilityCOATS阶段进行的安全的故障是不会违反安全目标的被标记为NO或NC的故障是不会进行故障仿真的写好 SFF含正确的观测/检测点 → 让 Z01X 做预分析剪枝自动识别 NC/NO 等 → 对剩下的有效故障跑仿真 → 看 DD/ND 报告。
阅读完成 · 觉得有帮助?
咨询建站