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.
Do you always need a GPU for L4/L5 autonomous driving? This week, Dr. Darbari sat down with Khaled Maalej - Founder & CEO, VSORA, a provider of high-performance silicon intellectual property (IP) solutions for artificial intelligence, digital communications, and advanced driver-assistance systems (ADAS) applications based in France. Find out how VSORA's unique solutions are powering the next generation of driverless cars. We talk about programmable DSP, performance, low-power, and verification of petaflop computers on wheels.
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.
