IMPLEMENTATION TECHNIQUES OF SELF-CHECKING ARITHMETIC OPERATORS AND DATA PATHS BASED ON DOUBLE-RAIL AND PARITY CODES

摘要

Method of self-checking arithmetic units and data paths using the double rail code for the arithmetic operators and a parity code for the other blocks. The method uses a single block for the generation of both codes, thus avoiding the need of code translators. The ripple-carry adders, ALU's, multiply and divide arrays are implemented with DCVS or static differential gates, to avoid overhead (Output Checking/Parity Generation Scheme). When the adders or ALU's are of a certain length, the schemes used are the Carry and Output Checking/Parity Generation and Carry Checking/Parity Prediction.