中国科学院 机构 微电子研究所,北京,100029
纸质出版:2012
移动端阅览
张挺, 陈岚, 冯燕. 基于断言的WISHBONE到AHB转换桥验证[J]. 微电子学与计算机, 2012, 29(6): 150-152,157.
ZHANG Ting, CHEN Lan, FENG Yan. Assertion-Based Verification to WISHBONE to AHB Bridge[J]. 2012, 29(6): 150-152.
张挺, 陈岚, 冯燕. 基于断言的WISHBONE到AHB转换桥验证[J]. 微电子学与计算机, 2012, 29(6): 150-152,157. DOI:
ZHANG Ting, CHEN Lan, FENG Yan. Assertion-Based Verification to WISHBONE to AHB Bridge[J]. 2012, 29(6): 150-152. DOI:
随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法
基于断言的验证
得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用
总结了断言验证在功能验证中的优势和特点.
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.
0
浏览量
17
下载量
CSCD
关联资源
相关文章
相关作者
相关机构