Towards a Highly Interactive Design-Debug-Verification Cycle.

Lucas Klemmer, Daniel Groe

Browse the full ASPDAC paper archive.