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
- 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
- Problem reduction techniques
- Labs inspired on machine learning, processors, GPUs, and networking designs
Training proven to work in the industry
Examples based on real-life field experiences
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.
Who should take this course?
Practising verification professionals
Why you should take this course?
Start using formal for functional 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
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