Podcast EP87: How Axiomise Addresses the Verification Challenge
Dan is joined by GD Bansal, COO at Axiomise. Dan explores the Axiomise business model to provide training and consulting services for formal verification with GD. The benefits and challenges of using formal verification on complex designs are discussed, along with the benefits of the Axiomize vendor-neutral approach to deploying state-of-the-art tools.
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.
/
RSS Feed
Podcast EP267: The Broad Impact Weebit Nano’s ReRAM is having with Coby Hanoch