Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon. Automating the diagnosis and the rectification of design errors with PRIAM. In 1989 IEEE International Conference on Computer-Aided Design, ICCAD 1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical Papers. pages 30-33, IEEE, 1989. [doi]
Abstract is missing.