IEEE Asian Test Symposium, pp. 130-135, November 1996.
s0 s1
s3 s2
0
1 0
1 0
0 1 1
(a) State diagram
s0 s1 s2 s3
0 1
s0 s1 s3 s0 s1 s2 s3 s0 s1 s3
s3 s1
s0 s1 s2 s1 s2 s3 s3
s0 s0 s2 s0 s1 s3 s0 s1 s2
s1 s3 s1
0 1
0 1
0 1
0 1
0 1
(b) Synchronizing tree
s0 s1
s3 s2
0 1
0
0 1
1 0 1
(a) State diagram (b) Synchronizing tree
s0 s1 s2 s3
0 1
s0 s1 s2 s3 s0 s1 s2 s3
(a) State encoding (b) Extended synchronizing tree
s0 s1s2s3
s0 s1s2s3
s0 s1s2s3 s0 s1 s2s3
0 1
1 0
0 1 0 1
s0 s1 s2s3 s0
s1 s3
s3
s2 s3
0 1 0 1
s0 s3 s0 s0 s fs(s) fn(s)
s0 s1 s2 s3
0 0
0
1 1 1 1
0
(b) State encoding
s0 s1
s3 s2
0 1
0
0 1
1 0 1
s5 s6
s4 1 0
0
1 0 1
(a) State diagram
s fs(s) fn(s) s0
s1 s2 s3
0
0 00
1
01 11 1
10 s4
s5 s6 sinv
1 1
0 0
00
11
10 01
