A Redundant Fault Identification Algorithm with Exclusive-OR Circuit Reduction. - Miyako Tandai; Takao Shinsha (ASP-DAC, 1998)