ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps
November 17, 2014
Few verification tasks are more challenging than trying to achieve code coverage goals for a complex system that, by design,…