Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)
- 2000.07a
- /
- Pages.355-358
- /
- 2000
Synthesis for Testability by Adding Transitions of Undefined States to State Transition Tables
- Yotsuyanagi, Hiroyuki (Dept. of Electrical and Electronic Engineering, The Univ. of Tokushima) ;
- Hashizume, Masaki (Dept. of Electrical and Electronic Engineering, The Univ. of Tokushima) ;
- Tamesada, Takeomi (Dept. of Electrical and Electronic Engineering, The Univ. of Tokushima)
- Published : 2000.07.01
Abstract
In this paper we propose procedures to enhance testability by modifying state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.
Keywords