RISC-V Summit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.

Ashish Darbari


Dr. Darbari is the founder & CEO of Axiomise - a company founded in London to democratize formal verification and make it easy for everyone to adopt formal methods for hardware verification. He has been actively using formal methods for over two decades. Before starting Axiomise, Ashish was the head of the product team at OneSpin Solutions. He was the founder and head of the AVM group at Imagination Technologies where his 4-member team deployed formal verification across all Imagination business units on over 50 projects within 3 years.

Ashish has trained close to 200 engineers in formal verification across some of the best-known names in the industry. Ashish holds 35 US, UK, and EU patents, and has 33 peer-reviewed papers in formal verification. He is also the author of Axiomise RISC-V ISA formal proof kit® and the formalISA® app. He runs a podcast channel "Formal Bytes" to promote the very best in formal verification. He has been delivering talks, webinars, and seminars for the last 20 years. Ashish holds a Doctorate in formal verification from Oxford University and has been a Royal Academy of Engineering Visiting Professor at the University of Southampton between 2015-2018. He is a Fellow of the British Computing Society, and IETE, and a senior member of IEEE and ACM.

Agenda Sessions

  • LIVE Q&A Forum with Speakers: Room A

  • Coverage-driven Formal Verification for RISC-V ISA Compliance