New episode out! Cross-pollinates SW & HW verification topics — touches on a bunch of cool concepts: concolic testing, cover points, formal methods for IRs, fault injection, and practical coverage metrics and collection strategies.