On-Demand Training

Presenter: Avinash Keshav

Questa Users: Learn Assertion Based Verification

Brief Summary of Webinar:


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.

Who Should Attend?

  • Verification Engineers
  • Project Leads

Post the session, the participants will be able to:

  • Learn about Assertion Based Verification &
  • Establish a framework to advance your organization’s verification process capabilities, with an emphasis on ABV processes.


Presenter - Avinash Keshav

More than seven years of experience in technical support of EDA tools while consulting the clients, understanding their requirements, and suggesting solutions in line with their requirements, explaining the capabilities of our software and demonstrating its usefulness towards their design goal. Knowledge of sales & marketing cycle of research and engineering product and FAE’s role in this cycle for maintaining the product relevance in the departments, which procure the EDA tools.

Leave a Reply

Your email address will not be published. Required fields are marked *

Fill out this field
Fill out this field
Please enter a valid email address.