一种基于断言的高效验证实现方法  

An Implementation Method of Efficient Verification Based-on Assertion

作　　者：李森森[1] 张立朝[1] 徐金甫[1] 

机构地区：[1]解放军信息工程大学,河南郑州450000

出　　处：《微电子学与计算机》2014年第4期128-131,135,共5页Microelectronics & Computer

摘　　要：提出了设计错误类型和断言分类相结合的方法,依据常见的RTL设计错误指导断言的分类选取,从而提高断言插入的针对性和目的性.同时,提出了断言层次化设计方法,将复杂的断言设计拆分成为多个层次化的步骤,以降低断言设计难度,减少断言代码自身错误.通过验证实例,证明了所提方法能够实现断言的高效嵌入,进而明显提升功能验证的效率.This paper proposes a method combining design error types with assertion classification. This method is based on common RTL errors to guide the assertion selection in different classification aiming to enhance the pertinence and purpose of inserting assertion. Furthermore, this paper also proposes the hierarchical assertion design method splitting the complex assertion design into multiple hierarchical steps to decrease the difficulty of assertion design and to reduce the errors of assertion codes. Verification examples show that the proposed methods can achieve efficient assertion insertion and improve the efficiency of function verification significantly.

关 键 词：断言 错误类型 断言分类 层次化方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]