-
Проверка минимального автомата Мили
Для проверки работы автомата на всех этапах его синтеза необходимо задать тестовую последовательность наборов значений логических условий и соответствующую им последовательность микроопераций. Эта входная тестовая последовательность строиться по схеме просмотренных путей в графе. Длина тестовой последовательности выбирается таким образом, чтобы соответствующий путь по графической схеме проходил через все операторные вершины.
XI |
000 |
010 |
000 |
011 |
00Z |
11Z |
100 |
110 |
010 |
000 |
000 |
011 |
YI |
Y3 |
Y1 |
Y3 |
Y1,Y3 |
Y2 |
Y3 |
Y2 |
Y0 |
Y3 |
Y1 |
Y3 |
Y1,Y3 |
Pi |
P0 |
P2 |
P0 |
P3 |
P0,P1 |
P6,P7 |
P4 |
P6 |
P2 |
P0 |
P0 |
P3 |
Wi |
W3 |
W1 |
W3 |
W4 |
W2 |
W3 |
W2 |
W0 |
W3 |
W1 |
W3 |
W4 |
XI |
00Z |
11Z |
100 |
110 |
010 |
001 |
0ZZ |
11Z |
101 |
|
|
|
YI |
Y2 |
Y3 |
Y2 |
Y0 |
Y3 |
Y1,Y3 |
Y2 |
Y3 |
Y0 |
|
|
|
Pi |
P0,P1 |
P6,P7 |
P4 |
P6 |
P2 |
P1 |
P0,P3 |
P6,P7 |
P5 |
|
|
|
Wi |
W2 |
W3 |
W2 |
W0 |
W3 |
W4 |
W2 |
W3 |
W0 |
|
|
|
Проверка графа частичного автомата Мили производится аналогично проверке в пункте 2.2.1.
Pi |
P0 |
P2 |
P0 |
P3 |
P0,P1 |
P6,P7 |
P4 |
P6 |
P2 |
P0 |
P0 |
P3 |
Si |
S0 |
S2 |
S1 |
S2 |
S3 |
S4 |
S6 |
S7 |
S0 |
S2 |
S4 |
S2 |
Wi |
W3 |
W1 |
W3 |
W4 |
W2 |
W3 |
W2 |
W0 |
W3 |
W1 |
W3 |
W4 |
Pi |
P0,P1 |
P6,P7 |
P4 |
P6 |
P2 |
P1 |
P0,P3 |
P6,P7 |
P5 |
|
|
|
Si |
S3 |
S4 |
S6 |
S7 |
S0 |
S2 |
S3 |
S4 |
S6 |
S0 |
|
|
Wi |
W2 |
W3 |
W2 |
W0 |
W3 |
W4 |
W2 |
W3 |
W0 |
|
|
|
Тест сошёлся, значит этап не содержит ошибок.