Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests

Hiroshi IWATA  Nanami KATAYAMA  Ken'ichi YAMAGUCHI  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/03/07
DOI: 10.1587/transinf.2016FOP0007
Full Text: PDF(325KB)