@cdleary

computers/compilers/accelerators, mostly

[@cdleary @cdleary]

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𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩
https://t.co/rmEfBRKq5u