| 基于需求的断言自动生成技术 |
| 杨修涛;迟鹏;杜宇坤;徐林伟; |
| 关键词：断言自动生成系统;需求;验证方法;寄存器传输级;行为窗 |
| 主要内容：基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方式、定义行为窗及解析 |
| 《计算机工程》 2016,42(08):28-33 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号