Name
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.<> |
Year | DOI | Venue |
|---|---|---|
1989 | 10.1109/ICCAD.1989.76898 | International Conference on Computer Aided Design |
Keywords | DocType | Citations |
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 | Conference | 63 |
PageRank | References | Authors |
6.62 | 6 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jean Christophe Madre | 1 | 367 | 44.92 |
| Olivier Coudert | 2 | 665 | 104.87 |
| Jean-Paul Billon | 3 | 63 | 6.62 |