One Metric to Rule Them All? Tracking Progress on Formal Testbenches

Vikram Khosa from ARM Theater presentation from DAC 2015. The topic is One Metric to Rule Them All?Tracking Progress on Formal Tesbenches. There is a discusson on Measuring Formal Progress and Formal Coverage. A discussion on how ARM uses Formal Coverage

Last Modified: March 22, 2016