基于断言的WISHBONE到AHB转换桥验证  

Assertion-Based Verification to WISHBONE to AHB Bridge

作　　者：张挺[1] 陈岚[1] 冯燕[1] 

机构地区：[1]中国科学院微电子研究所,北京100029

出　　处：《微电子学与计算机》2012年第6期150-152,157,共4页Microelectronics & Computer

摘　　要：随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在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 assertion- based verification and its application in WISHBONE to AHB bridge verification, then summarizes the advantage of assertion in functional verification.

关 键 词：WISHBONE AHB 总线时序 SystemVerilog断言 基于断言的验证 

分 类 号：TN47[电子电信—微电子学与固体电子学]