Strongly Code Disjoint Checkers
IEEE Transactions on Computers
Microprocessors & Microsystems
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
DAC '78 Proceedings of the 15th Design Automation Conference
Hi-index | 0.00 |
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 we present a tool allowing automatic generation of self-checking PLAs. Then we validate this tool by transforming a set of PLA benchmarks into self-checking PLAs and we give statistics concerning the required area overhead.