We present a problem of commonly used characterization sequences and propose a new test sequence to resolve the problem. The proposed test sequence could decide whether the output fault arises in the edge being tested or one of edges in the UIO sequence. Additionally, the fault coverage is much wider than other test sequence generation methods. To achieve the goal, we introduce k-strong FSM, and show that it can be constructed from a characterization sequence. Also, we illustrate our technique on a specific example.
|Number of pages||4|
|State||Published - 1997|
|Event||Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2) - Victoria, Can|
Duration: 20 Aug 1997 → 22 Aug 1997
|Conference||Proceedings of the 1997 6th IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. Part 1 (of 2)|
|Period||20/08/97 → 22/08/97|