基于需求的断言自动生成技术  

Automatic Assertion Generation Technique Based on Demands

作　　者：杨修涛[1] 迟鹏[1] 杜宇坤[1] 徐林伟 

机构地区：[1]北京电子工程总体研究所,北京100854 [2]中星微电子有限公司,上海201203

出　　处：《计算机工程》2016年第8期28-33,共6页Computer Engineering

摘　　要：基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方式、定义行为窗及解析寄存器传输级代码,给出信号组合算法及波形分析算法,并设计包含波形库、断言库及波形解析器的断言自动生成工具。实验结果表明,与手工编写的断言相比,该方法生成的断言在数量上满足每100条寄存器传输级代码对应10条～20条断言的要求,并且正确率较高。Assertion-based verification is widely used in IC design and verltlCation tor improving verification efficiency and quality. However,manually writing assertions costs a lot of time and manpower,which greatly limits the application of assertions. To solve this problem, this paper proposes an automatic assertion generation method based on demands. Signal combining algorithm and waveform analysis algorithm are given by regulating waveform description way,defining the behavior window and parsing the register transfer level codes. The automatic assertion generation tool, which contains wave library, assertion library and wave parser,is then designed. Experimental result shows that this method can meet the requirement for generating 10 to 20 assertions per 100 lines of register transfer level codes, and the generated assertions have high accuracy.

关 键 词：断言自动生成系统 需求 验证方法 寄存器传输级 行为窗 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]