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

摘要：

基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制.为此,提出一种基于需求的断言自动生成方法.通过规范波形描述方式、定义行为窗及解析寄存器传输级代码,给出信号组合算法及波形分析算法,并设计包含波形库、断言库及波形解析器的断言自动生成工具.实验结果表明,与手工编写的断言相比,该方法生成的断言在数量上满足每100条寄存器传输级代码对应10条～20条断言的要求,并且正确率较高.

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

所属期刊栏目：42

分类号：TP302(计算技术、计算机技术)

在线出版日期：2016-10-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：28-33