Nanami KATAYAMA


Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests
Hiroshi IWATA Nanami KATAYAMA Ken'ichi YAMAGUCHI 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6  pp. 1182-1189
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal techniques
Keyword: 
redundancy identificationtransition faultsbroadside scan testformal verification and functional equivalence
 Summary | Full Text:PDF(651.8KB)