Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests
['Hiroshi IWATA', 'Nanami KATAYAMA', "Ken'ichi YAMAGUCHI"]
/
IEICE Transactions on Information and Systems
/ Vol. 100
/ No. 6
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？