Post-Silicon Bugs

Goal posts Aren’t Only for Football – Use Them in Formal Analysis Too!

With both DVCon and the annual Super Bowl championship football game coming up, one can’t help but think of ……