A succinct memory model for automated design debugging.

Brian Keng, Hratch Mangassarian, Andreas G. Veneris

Browse the full ICCAD paper archive.