- •Санкт-Петербургский Государственный Электротехнический Университет «лэти»
- •Р s6 s7 s0ис. 1. Графическая схема алгоритма.
- •3. Структурный синтез автомата
- •Кодирование состояний автомата с использованием «соседства»
- •3.1.1 Кодированная таблица переходов и выходов.
- •3.1.2 Таблица функций возбуждения и выходов.
- •3.1.3 Совместная минимизация функций возбуждения и выходов.
- •3.1.4 Проверка результата минимизации.
- •Кодирование состояний автомата, направленное на минимизацию числа переключений элементов памяти
- •3.2.1 Кодированная таблица переходов и выходов.
- •3.2.2 Таблица функций возбуждения и выходов.
- •3.2.3 Совместная минимизация функций возбуждения и выходов.
- •3.2.4 Проверка результата минимизации.
- •Выбор варианта системы булевых функций для реализации.
- •Синтез синхронизируемого двухступенчатого триггера.
- •Функциональные схемы автоматов на плм и пзу.
- •Сравнительная оценка вариантов реализации автомата.
3.1.4 Проверка результата минимизации.
Pi |
X1 |
X2 |
X3 |
q1 |
q2 |
y0 |
y1 |
y2 |
y3 |
J1 |
K1 |
J2 |
K2 |
Si |
Wi |
P5 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
* |
1 |
* |
S0 |
W3 |
P0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
* |
1 |
* |
0 |
S1 |
W3 |
P5 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
* |
* |
1 |
S7 |
W0 |
P7 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
* |
1 |
* |
S0 |
W3 |
P2 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
* |
0 |
* |
0 |
S1 |
W5 |
P3 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
* |
0 |
* |
0 |
S1 |
W5 |
P6 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
* |
0 |
* |
1 |
S1 |
W4 |
P3 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
* |
1 |
1 |
* |
S4 |
W2 |
P6 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
* |
* |
1 |
S7 |
W0 |
P4 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
* |
1 |
* |
S0 |
W3 |
P1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
* |
1 |
* |
1 |
S1 |
W1 |
P1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
* |
1 |
* |
S0 |
W3 |
P4 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
* |
* |
1 |
S7 |
W0 |
P6 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
* |
1 |
* |
S0 |
W3 |
P3 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
* |
0 |
* |
0 |
S1 |
W5 |
P7 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
* |
1 |
* |
1 |
S1 |
W1 |
P3 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
* |
0 |
* |
S0 |
W4 |
P2, P6 |
Z |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
* |
1 |
1 |
* |
S4 |
W2 |
P7 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
* |
* |
1 |
S7 |
W0 |
Кодирование состояний автомата, направленное на минимизацию числа переключений элементов памяти
3.2.1 Кодированная таблица переходов и выходов.
x1x2x3 q1q2 |
P0 000 |
P1 001 |
P2 010 |
P3 011 |
P4 100 |
P5 101 |
P6 110 |
P7 111 |
00(S0) |
- |
10/0001 |
- |
11/0101 |
01/0001 |
01/0001 |
01/0001 |
01/0001 |
01(S1) |
10/0001 |
00/0100 |
01/0110 |
01/0110 |
- |
- |
11/0101 |
00/0100 |
11(S4) |
- |
- |
10/0010 |
10/0010 |
- |
- |
10/0010 |
- |
10(S7) |
- |
- |
- |
- |
00/1000 |
00/1000 |
00/1000 |
00/1000 |
3.2.2 Таблица функций возбуждения и выходов.
x1x2x3 q1q2 |
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
00(S0) |
- |
1*,*0/0001 |
1*,1*/0101 |
- |
0*,1*/0001 |
0*,1*/0001 |
0*,1*/0001 |
0*,1*/0001 |
01(S1) |
1*,*1/0001 |
0*,*1/0100 |
0*,*0/0110 |
0*,*0/0110 |
1*,*0/0101 |
1*,*0/0100 |
- |
- |
11(S4) |
- |
- |
*0,*1/0010 |
*0,*1/0010 |
*0,*1/0010 |
- |
- |
- |
10(S7) |
- |
- |
- |
- |
*1,0*/1000 |
*1,0*/1000 |
*1,0*/1000 |
*1,0*/1000 |
3.2.3 Совместная минимизация функций возбуждения и выходов.
Y1 Y2 Y0
- |
0 |
0 |
- |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
1 |
1 |
- |
0 |
0 |
- |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
- |
- |
- |
- |
1 |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
0 |
- |
0 |
1 |
- |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
0 |
Y3 J1 K1
- |
1 |
1 |
- |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
0 |
- |
1 |
1 |
- |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
- |
- |
- |
- |
* |
* |
* |
- |
- |
- |
- |
- |
- |
- |
* |
* |
* |
* |
- |
* |
* |
- |
* |
* |
* |
* |
* |
* |
* |
* |
* |
* |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
1 |
1 |
J2 K2
- |
0 |
1 |
- |
1 |
1 |
1 |
1 |
* |
* |
* |
* |
* |
* |
- |
- |
- |
- |
* |
* |
* |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
0 |
- |
* |
* |
- |
* |
* |
* |
* |
1 |
1 |
0 |
0 |
0 |
1 |
- |
- |
- |
- |
1 |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
* |
* |
* |
* |
Результат совместной минимизации функций возбуждения и выходов сведен в обобщенную таблицу системы булевых функций:
№ |
X1 |
X2 |
X3 |
q1 |
q2 |
Y0 |
Y1 |
Y2 |
Y3 |
J1 |
K1 |
J2 |
K2 |
1 |
Z |
Z |
Z |
1 |
0 |
V |
|
|
|
|
V |
|
|
2 |
Z |
Z |
Z |
0 |
1 |
|
V |
|
|
|
|
|
|
3 |
0 |
1 |
Z |
0 |
Z |
|
V |
|
|
|
|
V |
|
4 |
1 |
Z |
1 |
Z |
1 |
|
V |
|
|
|
|
|
V |
5 |
Z |
Z |
Z |
1 |
1 |
|
|
V |
|
|
|
|
V |
6 |
0 |
1 |
Z |
Z |
1 |
|
|
V |
|
|
|
|
|
7 |
Z |
Z |
Z |
0 |
0 |
|
|
|
V |
|
|
|
|
8 |
0 |
0 |
0 |
Z |
Z |
|
|
|
V |
V |
|
|
|
9 |
1 |
1 |
0 |
0 |
Z |
|
|
|
V |
|
|
|
|
10 |
0 |
Z |
Z |
0 |
0 |
|
|
|
|
V |
|
|
|
11 |
1 |
1 |
0 |
Z |
0 |
|
|
|
|
V |
|
|
|
12 |
1 |
Z |
Z |
0 |
Z |
|
|
|
|
|
|
V |
|
13 |
0 |
0 |
Z |
Z |
Z |
|
|
|
|
|
|
|
V |
Предварительная сложность по критерию Квайна равна:
К =