| 基于断言的WISHBONE到AHB转换桥验证 |
| |
| 引用本文： | 张挺,陈岚,冯燕.基于断言的WISHBONE到AHB转换桥验证[J].微电子学与计算机,2012,29(6):150-152,157. |
| |
| 作者姓名： | 张挺 陈岚 冯燕 |
| |
| 作者单位： | 中国科学院微电子研究所,北京,100029 |
| |
| 摘 要： | 随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点.
|
| 关 键 词： | WISHBONE AHB 总线时序 SystemVerilog断言 基于断言的验证 |
Assertion-Based Verification to WISHBONE to AHB Bridge |
| |
| ZHANG Ting,CHEN Lan,FENG Yan.Assertion-Based Verification to WISHBONE to AHB Bridge[J].Microelectronics & Computer,2012,29(6):150-152,157. |
| |
| Authors: | ZHANG Ting CHEN Lan FENG Yan |
| |
| Institution: | (Institute of Microelectronics of Chinese Academy of Sciences.Beijing 100029.China) |
| |
| Abstract: | With the complexity of IC design increasing,functional verification is becoming more and more important. A novel verification method,assertion-based verification,is widely used currently.This paper introduces assertionbased verification and its application in WISHBONE to AHB bridge verification,then summarizes the advantage of assertion in functional verification. |
| |
| Keywords: | WISHBONE AHB bus timing SystemVerilog assertiom assertion-based verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
