Automating the diagnosis and the rectification of design errors with PRIAM.

Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon

Browse the full ICCAD paper archive.