Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States
-
- YOTSUYANAGI Hiroyuki
- Faculty of Engineering, University of Tokushima
-
- HASHIZUME Masaki
- Faculty of Engineering, University of Tokushima
-
- TAMESADA Takeomi
- Faculty of Engineering, University of Tokushima
この論文をさがす
説明
A procedure to remove redundancies in sequential circuits is proposed using strongly unreachable states, which are the states with no incoming transitions. Test generation is used to find undetectable faults related to two or more strongly unreachable states. Experimental results show the new procedure can find more redundancies of sequential circuits.
収録刊行物
-
- IEICE transactions on information and systems
-
IEICE transactions on information and systems 85 (10), 1605-1608, 2002-10-01
一般社団法人電子情報通信学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1573950402004399616
-
- NII論文ID
- 110006376593
-
- NII書誌ID
- AA10826272
-
- ISSN
- 09168532
-
- 本文言語コード
- en
-
- データソース種別
-
- CiNii Articles