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