Best paper nomination at ASP-DAC 2019

The quality of the assertions is critical to the confidence and claims in a design’s verification! Our paper  A Figure of Merit for Assertions in Verification by Sam Hertz, Debjit Pal, and Shobha Vasudevan was nominated for the best paper award at ASP-DAC 2019. This presents an approach to rank assertions based on the key parameters that human beings look for to quantify “goodness” of an assertion.  The ranking technique considers both the importance and the comprehensibility of the behaviors captured by an assertion. It was developed on top of GoldMine and is available for everyone to download here.