Watch out for our paper at DAC 2014

“Code Coverage of Assertions Using RTL Source Code Analysis” by Viraj Athavale, Sai Ma, Sam Hertz and Shobha Vasudevan. This paper generates a code coverage metric for assertions using dynamic and static analysis techniques. Attend our presentation at DAC 2014!

Leave a Reply