The functional verification requirement of complex IC design needs to be supplemented with assertion-based verification (ABV) along the traditional methods being used. Today, assertion-based verification (ABV) has been successfully applied at multiple levels of design and verification abstraction—ranging from high-level assertions within transaction-level testbenches down to implementation-level assertions synthesized into emulation and hardware.
This session introduces you to the concept of Assertion Based Verification and shows you the tools to start using the techniques in your design and verification tasks. You will learn how you can write assertions for your code, and how you can simulate with the assertions using ModelSim/Questa and its assertion capabilities. You will also be introduced to the Assertion Thread Viewer, and its use in debugging assertion issues.