基于断言的WISHBONE到AHB转换桥验证
作者机构：中国科学院微电子研究所北京100029
出 版 物：《微电子学与计算机》 (Microelectronics & Computer)
年 卷 期：2012年第29卷第6期
页 码：150-152,157页
摘 要：随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点.
主 题 词：WISHBONE AHB 总线时序 SystemVerilog断言 基于断言的验证
学科分类：080903[080903] 0809[工学-计算机类] 08[工学]
D O I：10.19304/j.cnki.issn1000-7180.2012.06.034
馆 藏 号：203696145...
