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

• 作者: 张立朝 徐金甫 李森森
• 来源期刊: 微电子学与计算机
• 关键词: 断言 错误类型 断言分类 层次化方法
• 年，卷（期）: 2014,（4）
• 页码范围: 128-131,135
• 页数: 5页
• 分类号: TP311
• 语种: 中文

摘要

提出了设计错误类型和断言分类相结合的方法，依据常见的RT L设计错误指导断言的分类选取，从而提高断言插入的针对性和目的性。同时，提出了断言层次化设计方法，将复杂的断言设计拆分成为多个层次化的步骤，以降低断言设计难度，减少断言代码自身错误。通过验证实例，证明了所提方法能够实现断言的高效嵌入，进而明显提升功能验证的效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐金甫		38	186	7.0	12.0
2	张立朝		27	231	7.0	15.0
3	李森森		4	39	1.0	4.0