Podcast EP246: How Axoimise Provides the Missing Piece of the Verification Puzzle
Dan is joined by Adeel Liaquat, a formal verification manager at Axiomise. The company delivers cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
Dan explores the substantial verification challenges for advanced designs with Adeel, including very subtle bugs that are hard to find with vector-based approaches. Adeel explains that a holistic approach to verification is needed, from IP to the final system. Both standard and customized architectures must be addressed with this approach.
The conversation shows how formal methods are the missing piece of the verification puzzle. The technology, training and support provided by Axiomise aims to bring this technology into mainstream use across the entire design spectrum, substantially improving the time it takes to achieve a high level of confidence in system capability.
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.
TSMC Unveils the World’s Most Advanced Logic Technology at IEDM