Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests. - Hiroshi Iwata; Nanami Katayama; Ken-ichi Yamaguchi (IEICE Trans. Inf. Syst., 2017)