Getting Started with Formal Verification

Everything you wanted to know about formal but were afraid to ask

Kick-start scalable formal verification

Find your corner-case bugs and prove that your design works as intended using our industry-proven methodologies. This course is a comprehensive introduction in applied formal verification covering the entire verification flow including verification strategy, planning, execution and sign-off. We introduce the basics of theorem proving, equivalence checking and property checking and take you all the way to concepts of efficient assertion modelling, abstractions, helper properties, and principles of bug hunting and exhaustive proofs. Through case studies, we show you how we can verify designs with millions of flops exhaustively with formal.

For more information go to course outline.

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].

Axiomise Training

Axiomise offers a range of training courses aimed for practising professionals as well as students who would like to know how to apply formal in practice successfully. Get started with this course, to kick-start your learning about the best formal verification methodologies and take your learning to a new level by taking our advanced courses later.

The first course is planned to take place in Reading, UK in January 2019. Watch the space for courses in other cities across the world.

Why you should attend?

Demystify practical formal verification
Take the first step towards becoming a PRO
Start using formal for functional verification
Good balance of both the basics and advanced concepts
Learn how formal verification professionals apply formal in industry

Who should attend?

Designers
Verification Engineers
Verification Managers
Architects (CPU/GPU/System)
Practising verification professionals
Under-graduate and Postgraduate students in computer science, electrical and electronics engineering

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

What do you learn?

How to pick designs suited for formal verification?
How to apply good formal practices that yield scalable results?
How to find bugs and build exhaustively verify designs with million flops?

How to complement your existing simulation based verification with formal?
How to sign-off formal verification with confidence?

Course Outline

VERIFICATION LANDSCAPE

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

DEPLOYING FORMAL

Overview of  formal

Assertion based verification

Assertions for directed testing, simulation, and formal

Micro-architectural and architectural verification

Formal Modelling, abstractions and assume/guarantee

Case studies cover a wide range of challenging problems 

*: Students need to have a valid student ID and a university/college email account to get the student price.  Email us at marketing@axiomise.com to get your discount code once you have registered.