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.
All content for Formal bytes: The Axiomise Podcast Channel is the property of Axiomise and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
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.
We kick-off 2021 with our first podcast, talking to Calista Redmond, CEO of RISC-V International. Dr. Darbari asks Calista about the challenges and opportunities for the RISC-V revolution. Calista traces her roots from her days in IBM to what it takes to run an international organization spreading an open-source revolution in computer architecture like never seen before.
Formal bytes: The Axiomise Podcast Channel
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.
