Code Coverage of Assertions Using RTL Source Code Analysis.

Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan

Browse the full DAC paper archive.