Toward Formalizing a Validation Methodology Using Simulation Coverage.

Aarti Gupta, Sharad Malik, Pranav Ashar

Browse the full DAC paper archive.