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

fYear

1989

fDate

5-9 Nov. 1989

Firstpage

30

Lastpage

33

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCAD.1989.76898

Filename

76898