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

• 作者: 徐林伟 杜宇坤 杨修涛 迟鹏
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 断言自动生成系统 需求 验证方法 寄存器传输级 行为窗
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 28-33
• 页数: 6页
• 分类号: TP302
• 字数: 5167字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.08.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨修涛		2	1	1.0	1.0
2	迟鹏		1	0	0.0	0.0
3	杜宇坤		1	0	0.0	0.0
4	徐林伟		1	0	0.0	0.0