Comprehensive Course in Formal Verification

Everything you needed to become productive with formal verification

About the Course

Find your corner-case bugs and prove that your design works as intended using our industry-proven methodologies. 

We provide a comprehensive course in formal hardware verification with an overview of all formal technologies in this space. The course covers the whole verification loop from how to capture specifications, to implementation verification and sign-off using formal methods. It runs for 3 days combining theory, labs and interactive quizzes.

We start with an introduction to formal. We cover the essential core of SystemVerilog Assertions (SVA) and through examples illustrate how SVA is used for capturing requirements and specifications.

We teach principles of formal modelling and abstraction followed by concepts of coverage needed for formal sign-off. We take a problem-solving approach in our training and offer a range of case studies to teach scalable formal verification techniques. Example designs used for the lab exercises are design components commonly found in all modern-day processors, GPUs, networking designs, and machine learning. The training focusses on scalable methods that can be used for obtaining exhaustive proofs as well as finding deep bugs in your designs in seconds.

Please note that this is not a tool training programme but the one on methodologies needed to obtain scalable and predictable results from formal tools.

Course duration: 3 days 

Course outline:

  • The Verification Challenges of SoC
  • Simulation, emulation and formal – pros and cons
  • IP verification versus SoC verification
  • Limitations of waterfall model
  • Axiomise agile formal verification flow ADEPT FV®
  • Going beyond automated APPs
  • Overview of formal including theorem proving, model checking and equivalence checking
  • Assertion based verification
  • Assertions for directed testing, simulation, and formal
  • Micro-architectural and architectural verification
  • Formal Modelling
  • Abstractions
  • Problem reduction techniques
  • Labs inspired on machine learning, processors, GPUs, and networking designs

Why Axiomise?

Vendor-neutral
Support all major formal tools
State-of-the-art methodologies
Training proven to work in the industry
Examples  based on real-life field experiences
We teach what works in practice using active learning
Delivered by seasoned formal verification experts with decades of experience

About the Coach

Dr Darbari has been actively using formal methods for over two decades with an expertise in all aspects of formal methods including theorem proving, property checking and equivalence checking. Although he has a Doctorate in formal verification from the University of Oxford, to learn formal verification from him, you don’t need a PhD.  His training program has been crafted to enable a complete novice in formal to production grade work. Dr Darbari is a pioneer in formal verification with over 18 international patents and over two dozen research papers, what he teaches in training is novel and unique.

He has taught 22-year-old fresh graduates but also seasoned designers with 22 years’ experience. Over the last decade, he has trained and enabled over a hundred engineers – a lot of them have embraced formal verification as a career path, and some of them work at Apple®, Arm®, Diffblue®, Facebook®, Imagination®, Synopsys®, and OneSpin Solutions® to name a few.

For more information on what people say about us check out www.axiomise.com/testimonial. Some testimonials that couldn’t make it to the website can be found on [1, 2].

Who should take this course?

Designers
Verification Engineers
Verification Managers
Architects (CPU/GPU/System)
Practising verification professionals

Why you should take this course?

Become a PRO
Start using formal for functional verification
Become aware of all aspects of formal verification
Get your hands dirty by solving a range of challeneging labs
Methodology focussed, vendor neutral, what we teach works with all major tools

What do you learn?

How to use agile methods developed by Axiomise

Become expert at using SVA to capture requirements and specifications

Becoming adept in formal – learn bug hunting techniques and bug avoidance techniques

Familiarity with the three pillars of formal – theorem proving, model checking and equivalence checking

Knowledge of the entire formal verification flow covering verification strategy, verification planning, execution and sign-off

Understand how to craft efficient assertions, constraints and cover properties to build scalable formal verification testbenches

Appreciate how formal is applied in practice through formal modelling, and abstraction, and how to use formal coverage for sign-off

Key Highlights

Quiz exams throughout the training period to help you reinforce learning

A certificate from Axiomise stating that you have undertaken the training

One-month support offered for any follow-up questions on training material

Training is vendor-neutral, and solutions we teach are directly usable in project work

Training delivered in-person OR through a combination of video conferencing and electronic whiteboards