Podcast EP274: How Axiomise Makes Formal Predictable and Normal with Dr. Ashish Darbari
Dan is joined by Dr. Ashish Darbari, CEO of Axiomise. Axiomise was founded in 2017 by Dr. Darbari, who has spent over two decades in the industry and top research labs increasing formal verification adoption. At Axiomise, they believe the only way to make formal methods mainstream for all semiconductor design verification is to enable and empower the end-user of formal – the hundreds of designers and verification engineers in the semiconductor industry. Dr. Darbari was joined by Neil Dunlop in 2022. Between Neil and Ashish, the Axiomise leadership team has over 60 years of formal verification experience on various projects.
Dan explores the capabilities, impact and plans of this unique company with Ashish. The various types of training Axiomise offers, from instructor-led, to on-demand to custom are reviewed. Ashish also describes the broad services work Axiomise engages in as well as some powerful, high impact apps the company has developed. Examples include formalISA, which can establish ISA compliance via mathematical proofs for RISC-V processors.
The footprint app is also discussed, which provides an efficient and fast method for identifying redundant design components, allowing architects and designers to exhaustively find wasted area in a design while focusing on power and performance.
The views, thoughts, and opinions expressed in these podcasts belong solely to the speaker, and not to the speaker’s employer, organization, committee or any other group or individual.
IEDM 2025 – TSMC 2nm Process Disclosure – How Does it Measure Up?