Skip to main content

The Power of Formal Verification: From flops to billion-gate designs

Conference: Verification Futures 2023 (click here to see full programme)
Speaker: Dr. Ashish Darbari
Presentation Title: The Power of Formal Verification: From flops to billion-gate designs
Abstract: Formal verification constructs a mathematical proof to verify a design-under-test (DUT) against a requirement. The requirement itself can be expressed in multiple ways. Traditionally, formal methods have required PhDs in Mathematics and CS. However, modern-day deployment of formal methods can be done with ease if supported by great methodology. At Axiomise, we have been deploying production-grade formal methodology using all the commercial tools in the market with great success. This talk will provide insights from the practical deployment of formal and show how scalable formal methodology based on abstraction, bug-hunting and coverage can be used to accomplish functional verification for designs with few flip-flops to a design with billion gates. The talk does not make any assumption on prior knowledge in formal verification.
Speaker Bio: As founder & CEO of Axiomise, Dr. Ashish Darbari has led the company to successfully deploy the unique combination of training, consulting, services, and verification IP to various customers. Ashish has 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! Ashish has been actively using formal methods for over two decades. Having trained nearly 200 designers and verification engineers worldwide, Ashish is also a keen innovator in formal verification with 60 patents. He is also the developer of the formalISA® app.
Key Points:
  • Abstraction
  • Bugs
  • Proofs
  • Coverage
  • Sign-off
  • Close Menu