Assertion-Based Verification to WISHBONE to AHB Bridge

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.