计算机工程2016，Vol.42Issue(8)：28-33,6.DOI:10.3969/j.issn.1000-3428.2016.08.006
基于需求的断言自动生成技术
Automatic Assertion Generation Technique Based on Demands
杨修涛 1迟鹏 1杜宇坤 1徐林伟2
作者信息
- 1. 北京电子工程总体研究所,北京100854
- 2. 中星微电子有限公司,上海201203
- 折叠
摘要
关键词
断言自动生成系统/需求/验证方法/寄存器传输级/行为窗Key words
Automatic Assertion Generation System (AAGS)/demand/verification method/register transfer level/behavioral window分类
信息技术与安全科学引用本文复制引用
杨修涛,迟鹏,杜宇坤,徐林伟..基于需求的断言自动生成技术[J].计算机工程,2016,42(8):28-33,6.
