Title :
A self-checking PLA automatic generator tool based on unordered codes encoding
Author :
Torki, K. ; Nicolaidis, M. ; Fernandes, A.O.
Author_Institution :
IMAG/TIM3, Grenoble, France
Abstract :
Self-checking circuits ensure concurrent error detection by means of hardware redundancy. An important drawback of self-checking circuits is the fact that they involve a significant increasing of the design time. Specific CAD tools are needed in order to cope with this drawback. In this paper the authors present a tool allowing automatic generation of self-checking PLAs. Then they validate this tool by transforming a set of PLA benchmarks into self-checking PLAs and give statistics concerning the required area overhead
Keywords :
automatic testing; encoding; error detection; logic CAD; logic arrays; logic testing; redundancy; PLA automatic generator tool; area overhead; concurrent error detection; hardware redundancy; programmable logic arrays; self-checking circuits; unordered codes encoding; Circuit faults; Circuit synthesis; Circuit testing; Concurrent computing; Design automation; Encoding; Hardware; Programmable logic arrays; Protection; Statistics;
Conference_Titel :
Design Automation. EDAC., Proceedings of the European Conference on
Conference_Location :
Amsterdam
DOI :
10.1109/EDAC.1991.206459
