44 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.

Formal bytes: The Axiomise Podcast Channel Axiomise

    • Technology
    • 5.0 • 2 Ratings

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.

    Episode 44: Formal Verification 101 - The power of formal is now in your hands

    Episode 44: Formal Verification 101 - The power of formal is now in your hands

    This week we discuss our new formal verification course launched on 6 April, last week. If you're looking to understand how to apply formal methods, especially for industrial projects in VLSI, then we have something for you.

    • 5 min
    Episode 43: A fireside chat with Dr. Daniel Zimmerman

    Episode 43: A fireside chat with Dr. Daniel Zimmerman

    This week, Dr. Darbari talks to Dr. Daniel Zimmerman, Principal Researcher from Galois Inc. Lot of exciting conversation on formal methods and their applications to cryptography, homomorphic computing and Daniel also reveals the secret Ninja formal methods and the work done with Amazon on deploying software analysis.

    • 37 min
    Episode 42: A fireside chat with Bob Smith

    Episode 42: A fireside chat with Bob Smith

    This week Bob Smith is our guest. Bob is an executive director of the ESD Alliance, a SEMI Strategic Association Partner. He is responsible for the management and operations of the ESD Alliance, an international association of companies providing goods and services throughout the semiconductor design ecosystem.

    • 36 min
    Episode 41: Invisible and visible formal verification

    Episode 41: Invisible and visible formal verification

    How do we know when the proof is the valid proof? Can we always see the proof? Are visible proofs required for verification? Can you trust invisible proofs for sign-off? Welcome to formal verification! Tune in to this week's podcast to learn more.

    • 17 min
    Episode 40: A fireside chat with Dr. Zvonimir Bandic

    Episode 40: A fireside chat with Dr. Zvonimir Bandic

    In this episode, Dr. Darbari talks to a key leader in the field of the RISC-V ecosystem - Dr. Zvonimir Bandic - Senior director, Western Digital. Zvonimir traces his journey to the USA and describes the exciting field of storage and hard drives. We talk about the CHIPS alliance, open-source, and how Western Digital is influencing the RISC-V ecosystem.

    • 28 min
    Episode 39: Abstraction in 7 minutes!

    Episode 39: Abstraction in 7 minutes!

    We demystify abstraction in today's podcast. Abstraction is the cornerstone of modern-day scalable formal verification. Classic papers in formal literature talk about abstraction as a Galois connection, but understanding abstraction when you're new to formal is not easy. We discuss it in detail in our upcoming webinar on 11 Feb 2021 but for now, here is an intuitive and simple explanation of abstraction and refinement.

    • 6 min

Customer Reviews

5.0 out of 5
2 Ratings

2 Ratings

Top Podcasts In Technology