Title :
Concurrent checking in dedicated controllers
Author :
Leveugle, R. ; Saucier, G.
Author_Institution :
Inst. Nat. Polytech. de Grenoble, France
Abstract :
A novel method for introducing online test facilities in a controller with a very low overhead is presented. This online test consists of detecting illegal paths in the control flow graph. These illegal paths may be due to either permanent faults or transient errors. The implementation of the detection facilities relies on a clever choice of the state codes of the controller, which can then be checked by signature analysis by either a built-in monitor or an external checker
Keywords :
application specific integrated circuits; logic testing; sequential machines; built-in monitor; control flow graph; dedicated controllers; external checker; illegal paths; online test facilities; overhead; permanent faults; signature analysis; state codes; transient errors; Application specific integrated circuits; Constraint optimization; Equations; Error correction; Flow graphs; Law; Legal factors; Logic devices; Polynomials; Runtime;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1989. ICCD '89. Proceedings., 1989 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-1971-6
DOI :
10.1109/ICCD.1989.63341