5 episodes

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.

The Axiomise Podcast - Formal Verification is Fun! Ashish Darbari

    • Technology

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.

    Formal Verification: Formal Bytes - Episode 5

    Formal Verification: 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.

    • 15 min
    Formal Verification: Formal Bytes - Episode 4

    Formal Verification: 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!

    • 14 min
    Formal Verification: Formal Bytes - Episode 3

    Formal Verification: 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.

    • 10 min
    Formal Verification: Formal Bytes - Episode 2

    Formal Verification: Formal Bytes - Episode 2

    In this podcast, Dr. Ashish Darbar, Founder & CEO of Axiomise i 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! 

    • 8 min
    Formal Verification: Formal Bytes - Episode 1

    Formal Verification: 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. Engage with us to share your views about formal verification, your challenges, and your success stories. Tune in to enjoy our regular formal bytes!  

    • 8 min

Top Podcasts In Technology