作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (12): 279-281,284. doi: 10.3969/j.issn.1000-3428.2011.12.094

• 开发研究与设计技术 • 上一篇    下一篇

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

马丽丽1,2,吕 涛2,李华伟2,张金巍3,段永颢3   

  1. (1. 湘潭大学信息工程学院,湖南 湘潭 411105;2. 中国科学院计算技术研究所计算机系统结构重点实验室,北京 100190; 3. 北京控制工程研究所,北京 100190)
  • 收稿日期:2010-11-04 出版日期:2011-06-20 发布日期:2011-06-20
  • 作者简介:马丽丽(1984-),女,硕士研究生,主研方向:VLSI/SoC设计验证;吕 涛,博士;李华伟,研究员、博士;张金巍,工程师;段永颢,高级工程师
  • 基金资助:

    国家自然科学基金资助项目(60906013, 60776031, 606330 60)

Static Error Detection Method for RTL Design Verification

MA Li-li  1,2, LV Tao  2, LI Hua-wei  2, ZHANG Jin-wei  3, DUAN Yong-hao  3   

  1. (1. Department of Information Engineering, Xiangtan University, Xiangtan 411105, China; 2. Key Laboratory of Computer System and Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China; 3. Beijing Institute of Control Engineering, Beijing 100190, China)
  • Received:2010-11-04 Online:2011-06-20 Published:2011-06-20

摘要:

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

关键词: 静态分析, 静态检测, 设计验证, 寄存器传输级, 状态机死锁

Abstract:

For detecting the potential common errors of integrated circuit designs quickly and efficiently, this paper introduces a novel error defection approach based on static analysis. The proposed approach can find errors, such as deadlocks in state machines, errors in pin configuration, by automatically deriving information about the behavior of Register-Transfer Level(RTL) design under verification. Experimental results show that compared with other verification methods, the static method can find errors automatically, efficiently and accurately. It can be reused for any other RTL design to detect errors before simulation.

Key words: static analysis, static detection, design verification, Register-Transfer Level(RTL), deadlock in state machine

中图分类号: