Managing complexity in design debugging with sequential abstraction and refinement.

Brian Keng, Andreas G. Veneris

Browse the full ASPDAC paper archive.