About this Episode In season 3 episode 6 connect with Ashish Darbari – Founder & CEO at Axiomise to discover how formal verification is being used to improve the quality, performance, and security of IoT devices. Listen to the podcast here.
Stay Connected With RISC-V We send occasional news about RISC-V technical progress, news, and events.