北京大学学报(自然科学版)

芯片功能验证流的高效生成方法

孙钊1,王勇   

  • 收稿日期:2006-03-06 出版日期:2007-01-20 发布日期:2007-01-20

A High Efficient Method to Generate the Verification Vector of ICs

SUN Zhao1, WANG Yong   

  • Received:2006-03-06 Online:2007-01-20 Published:2007-01-20

摘要: 设计验证(Design Verification)在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。

关键词: 设计规范, 有限状态机, 覆盖率, 事件, 验证向量

Abstract: Verification is very important in designing digital systems. It has become a bottleneck in the modern digital system design cycle. In an effort to improve current verification method based on simulation, this paper presents a method for the generation of simulation vectors using FSM. It can improve the coverage of the state space.

Key words: specification, fsm, coverage, event, verification vectors

中图分类号: