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

Theater presentation from DAC 2015

Last Modified: May 6, 2016