RTL代码域故障模型

• 作者: 杨军 罗春 顾明 高谷刚
• 来源期刊: 电路与系统学报
• 学科: 工学
• 关键词: 验证 域故障模型 测试点 覆盖率
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 论文
• 页码范围: 76-80
• 页数: 5页
• 分类号: TN47
• 字数: 3835字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-0249.2006.01.016

摘要

本文提出了一种Verilog RTL(Register Transfer Level)代码域故障模型和相应的测试点生成策略.该故障模型能准确全面地反映导致域错误的原因,而且需要测试点较少.与现有的一些故障模型做了比较,证明这种域模型和策略是有效可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨军	东南大学国家专用集成电路系统工程技术研究中心	210	2336	24.0	38.0
2	罗春	东南大学国家专用集成电路系统工程技术研究中心	12	135	7.0	11.0
3	高谷刚	东南大学国家专用集成电路系统工程技术研究中心	10	37	3.0	5.0
4	顾明	东南大学国家专用集成电路系统工程技术研究中心	11	36	4.0	5.0