Computation of Sequential Flexibility in Netlists by Windowing - The Unknown Component Problem: Theory and Applications - page 183

.s 4
00001
01001
10011
11001
00111
01121
10111
11101
00211
01221
10211
11231
00330
01320
10330
11330
.e
The FSM lion9 min.kiss has been obtained by state minimization of
lion9.kiss .
Repeat the experiments of Problem 11.1 .