Post-verification debugging of hierarchical designs.

Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler

Browse the full ICCAD paper archive.