Formal bytes: The Axiomise Podcast Channel

Episode 10: A masterclass with Lauro Rizzatti

Dr. Darbari talks to Dr. Lauro Rizzatti - the emulation super Guru. Lauro traces his journey from Italy to the USA, explaining the many different, technological aspects of emulation, starting from its roots to the modern-day. Everyone in DV should find this highly educational.

Episode 9: Why coverage is important for formal verification?

In this podcast, Dr. Darbari talks about the role of coverage in formal verification and sign-off. We examine why coverage is important and what can be done to sign-off the verification with confidence. We discuss the interaction between structural coverage, functional coverage in simulation, and what happens for formal verification, and what should happen?

Episode 8: Role of specifications in verification

In this podcast, Dr. Darbari talks about the role of specifications in verification. Requirements & specifications play a very important part in establishing what can be obtained from a verification task. The general rule is if it ain't specified it won't be verified. After all, any testing & verification exercise needs to know what is being tested, and what is expected from a test?

Episode 7: A masterclass with Harry Foster

In this podcast, Dr. Darbari talks to Harry Foster, Chief Scientist at Mentor Graphics about all things verification. Harry talks about ATPG, the origin of assertion languages, property checking, equivalence checking, and FPGAs. He shares insights about his association with Accellera and contributions to the Verification Academy. We talk about 5 tips that all verification engineers & managers will find useful to get productive with verification.

Episode 6: Key drivers for maximizing verification ROI

We describe what are the key factors to maximise verification ROI, focusing on Axiomise formal verification and how we can improve the return-on-investment.

Episode 5: Why processors need formal verification?

Dr. Darbari talks about why processors need formal verification in the latest podcast. He describes why processors are complex, and why formal verification is a necessity.

Episode 4: History of formal methods

In this podcast, we cover the rich history of formal methods, explaining the basics of formal verification covering theorem proving, model checking and equivalence checking. We explain why formal verification is perceived to be hard. We make formal verification easier!

Episode 3: Basics of testing and formal verification for SoCs

In this podcast, Dr. Ashish Darbari talks about testing and formal verification for SoCs. He describes the basics of simulation-based-verification techniques such as constrained random verification, directed testing, emulation, and formal verification. 

Episode 2: A 30,000 ft introduction to a system-on-chip

In this podcast, Dr. Ashish Darbari presents a 30,000 ft introduction to a system-on-chip (SoC) and the numerous test and verification challenges that affect the design of these ubiquitous components that almost everyone on the planet owns! 

Episode 1: Dr. Darbari talks about his passion for formal

Axiomise has turned two! In this first podcast, Axiomise founder & CEO Dr. Ashish Darbari talks about his passion for formal verification and the different challenges engineers face in adopting formal. Engage with us to share your views about formal verification, your challenges, and your success stories. Tune in to enjoy our regular formal bytes!