The purpose of this one-day training course is to introduce the Assertion-Based Verification Technology together with its static and dynamic verification methods. The Formal Verification Language Sugar adopted as standard by the Accellera organization will be used to support this new approach to verification. The course targets system/hardware designers/managers willing to import new verification methods into their design. The training course will be pragmatic, focusing on methodologies of usage and illustrated by many real-life applications.

• Overview


• Static Verification : Model Checking


• Dynamic

• The Formal Verification Language Sugar