RTL代码域故障模型 RTL code domain fault model.pdfVIP

第 11 卷 第 1 期 电路与系统学报 Vol.11 No.1 2006 年 2 月 JOURNAL OF CIRCUITS AND SYSTEMS February 2006 文章编号 1007-0249 (2006) 01-0076-05 * RTL 代码域故障模型 东南大学 国家专用集成电路系统工程技术研究中心 江苏 南京 210096 摘要 本文提出了一种 Verilog RTL Register Transfer Level 代码域故障模型和相应的测试点生成策略 该故障 模型能准确全面地反映导致域错误的原因 而且需要测试点较少 与现有的一些故障模型做了比较 证明这种域模型 和策略是有效可行的 关键词 验证 域故障模型