Formal Bytes - Episode 5

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.

Formal Bytes - Episode 4

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!

Formal Bytes - Episode 3

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. Subscribe to our youtube channel and our newsletters at axiomise.com. Ping us at info@axiomise.com with your suggestions, questions, and feedback.

Formal Bytes - Episode 2

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! 

Formal Bytes - Episode 1

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.  Tune in to enjoy our regular formal bytes!

Tune in with your favourite app!

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.

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!

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. Subscribe to our youtube channel and our newsletters at axiomise.com. Ping us at info@axiomise.com with your suggestions, questions, and feedback.

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! 

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!