Formal Verification: Formal Bytes - Episode 2

In this podcast, Dr. Ashish Darbar, Founder & CEO of Axiomise i presents a 30,000 ft introduction to a system-on-chip (SoC) and the numerous test and verification challenges that affect the design of these ubiquitous components that almost everyone on the planet owns!