Partially Self-Checking Circuits and Their Use in Performing Logical Operations.