From RTL to silicon: The case for automated debug.

Andreas G. Veneris, Brian Keng, Sean Safarpour

Browse the full ASPDAC paper archive.