SESSION 22
TUTORIAL: Increasing Verification Coverage and Productivity Through Formal Operation- and Transaction-Level Verification Using SVA (T3)
Organizer: Michael Siegel - OneSpin Solutions
The tutorial starts with a practical introduction to formal assertion based verification (ABV) using real-life design verification examples. Then we demonstrate recent breakthroughs in SVA property modeling and automatic coverage analysis which deliver significant verification coverage and productivity gains to design and verification engineers. If you are new to Formal ABV, you will learn how to become productive with formal verification and debug of SystemVerilog assertions, and get an introduction to higher-level, operation-based verification. If you already use formal tools, you will learn how to employ Operational SVA™ and unique automatic coverage analysis to model and verify design operations and transactions at the specification-level, achieving higher verification coverage and productivity.
Following the introduction to Formal ABV, we present an overview of Operational SVA, a simple yet powerful SVA-modeling layer that enables users to develop operation- and transaction-level assertions directly from the timing diagrams present in most micro-architecture specifications. Operational SVA simplifies assertion development, improves readability and maintenance, and enables greater verification coverage. We also present powerful new techniques which ease and speed SVA and RTL debug.
Finally, we describe how the previously presented concepts can be combined in a unique Formal ABV process for the efficient, systematic verification of high-level design operations and transactions. You will learn how this process (1) enables automatic coverage analysis to identify coverage holes in assertion sets, (2) simplifies verification planning and (3) guides high-coverage assertion development.
This tutorial is limited to 40 participants.
Due to the proprietary nature of the discussions, the presenting company reserves the right to refuse access to employees or contractors of competitors.
Sponsored by:
Speakers:
Anders Nordstrom - OneSpin SolutionsSarah Li - OneSpin Solutions