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.
TLB hit 💥@TLBhit
🎙️ Episode 6: ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩ tlbh.it/006_fuzz.html
English