用于RTL设计验证的静态错误检测方法

• 作者: 吕涛 张金巍 李华伟 段永颢 马丽丽
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 静态分析 静态检测 设计验证 寄存器传输级 状态机死锁
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 279-281,284
• 分类号: TP391.76
• 字数: 5400字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.12.094

摘要

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法.该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误.实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华伟	中国科学院计算技术研究所计算机系统结构重点实验室	55	595	14.0	22.0
2	吕涛	中国科学院计算技术研究所计算机系统结构重点实验室	41	423	10.0	20.0
3	段永颢		8	29	3.0	5.0
4	马丽丽	湘潭大学信息工程学院	14	29	4.0	4.0
6	张金巍		3	1	1.0	1.0