Title :
Automating the diagnosis and the rectification of design errors with PRIAM
Author :
Madre, J.C. ; Coudert, O. ; Billon, J.P.
Author_Institution :
BULL Corp. Res. Center, Louveciennes, France
Abstract :
The authors present the original extensions brought to PRIAM to automate both the diagnosis and the rectification of the design errors detected by this tool. PRIAM is an industrial automated formal verifier used to check the functional correctness of digital circuits of up to 20000 transistors. These extensions implement a novel approach to diagnosis based on Boolean equation solving. In particular, no enumeration of the faulty patterns is necessary to find out the incorrect gates in the circuit. The diagnosis system can handle any circuit that can be verified by PRIAM.<>
Keywords :
circuit CAD; integrated circuit testing; logic CAD; logic testing; Boolean equation solving; PRIAM; automate; check; design errors; diagnosis; digital circuits; faulty patterns; functional correctness; incorrect gates; industrial automated formal verifier; rectification; tool; transistors; Boolean functions; Circuit faults; Circuit simulation; Coupling circuits; Debugging; Design automation; Digital circuits; Equations; Fault diagnosis; Hardware design languages;
Conference_Titel :
Computer-Aided Design, 1989. ICCAD-89. Digest of Technical Papers., 1989 IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-1986-4
DOI :
10.1109/ICCAD.1989.76898
