作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程

• 体系结构与软件技术 • 上一篇    下一篇

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

杨修涛1,迟鹏1,杜宇坤1,徐林伟2   

  1. (1.北京电子工程总体研究所,北京 100854; 2.中星微电子有限公司,上海 201203)
  • 收稿日期:2015-05-06 出版日期:2016-08-15 发布日期:2016-08-15
  • 作者简介:杨修涛(1978-),男,高级工程师、博士,主研方向为计算机辅助设计;迟鹏,工程师、博士;杜宇坤,助理工程师;徐林伟,工程师。

Automatic Assertion Generation Technique Based on Demands

YANG Xiutao  1,CHI Peng  1,DU Yukun  1,XU Linwei  2   

  1. (1.Beijing Institute of Electronic Engineering in General,Beijing 100854,China;2.Vimicro Limited Company,Shanghai 201203,China)
  • Received:2015-05-06 Online:2016-08-15 Published:2016-08-15

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

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

Abstract: Assertion-based verification is widely used in IC design and verification for 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.

Key words: Automatic Assertion Generation System(AAGS), demand, verification method, register transfer level, behavioral window

中图分类号: