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