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

Assertion-Based Verification to WISHBONE to AHB Bridge

摘要: 随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点.

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.