
- •С анкт-петербургский государственный электротехнический университет "лэти" имени в.И. Ульянова (ленина)
- •1 97376, Санкт-Петербург, ул. Проф. Попова, 5.
- •Вариант 8
- •2 Абстрактный синтез автомата
- •2.1 Граф автомата мура
- •2.2 Проверка автомата мура
- •2.3 Переход к автомату мили
- •2.4 Учет взаимодействия управляющего и операционного автоматов
- •2.5 Минимизация частичного автомата мили
- •3 Структурный синтез автомата
- •3.1 Кодирование состояний автомата
- •3.1.1 Кодированная таблица переходов и выходов (тпв)
- •3.1.2 Таблица функций возбуждения и выходов
- •3.1.5 Оценка сложности комбинационной схемы
- •3.2 Кодирование состояний автомата, направленное на упрощение комбинационной схемы
- •3.2.1 Кодированная таблица переходов и выходов
- •3.2.2 Таблица функций возбуждения и выходов
- •3.2.4 Проверка результата минимизации
- •3.2.5 Оценка сложности комбинационной схемы для второго варианта кодирования
- •3.3 Выбор варианта системы булевых функций для реализации
- •3.4 Синтез синхронизируемого двухступенчатого триггера
- •3.5 Функциональная схема и временная диаграмма двухступенчатого триггера
- •3.7 Расчет параметров сигнала синхронизации
- •3.8 Временная диаграмма автомата
- •3.9 Функциональные схемы на пзу и плм
- •3.10 Сравнительная оценка вариантов реализации автоматов
3.1.1 Кодированная таблица переходов и выходов (тпв)
ТПВ строится на основе ТПВ абстрактного автомата заменой символа состояний абстрактного автомата кодами структурного автомата.
Si |
x1x2x3 |
|||||||
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
|
000 |
001/0100 |
001/0100 |
010/0110 |
010/0110 |
100/0001 |
- |
010/0010 |
100/0001 |
001 |
011/0001 |
011/0001 |
- |
- |
- |
- |
- |
- |
011 |
000/1000 |
000/1000 |
000/1000 |
000/1000 |
- |
000/1000 |
000/1000 |
- |
010 |
011/0010 |
011/0010 |
010/0010 |
010/0010 |
- |
010/0010 |
011/0010 |
- |
110 |
- |
- |
- |
- |
- |
- |
- |
- |
111 |
- |
- |
- |
- |
- |
- |
- |
- |
101 |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
010/0100 |
- |
- |
010/0100 |
- |
- |
- |
- |
Таблица 3.2
3.1.2 Таблица функций возбуждения и выходов
Таблица переходов триггера JK
q(t) |
JK |
q(t+1) |
0 |
0* |
0 |
0 |
1* |
1 |
1 |
*1 |
0 |
1 |
*0 |
1 |
Таблица 3.3
Таблица функций возбуждения и выходов
Si |
x1x2x3 |
|||||||
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
|
000 |
0*,0*,1* /0100 |
0*,0*,1* /0100 |
0*,1*,0* /0110 |
0*,1*,0* /0110 |
1*,0*,0* /0001 |
- |
0*,1*,0* /0010 |
1*,0*,0* /0001 |
001 |
0*,1*,*0 /0001 |
0*,1*,*0 /0001 |
- |
- |
- |
- |
- |
- |
011 |
0*,*1,*1 /1000 |
0*,*1,*1 /1000 |
0*,*1,*1 /1000 |
0*,*1,*1 /1000 |
- |
0*,*1,*1 /1000 |
0*,*1,*1 /1000 |
- |
010 |
0*,*0,1* /0010 |
0*,*0,1* /0010 |
0*,*0,0* /0010 |
0*,*0,0* /0010 |
- |
0*,*0,0* /0010 |
0*,*0,1* /0010 |
- |
110 |
- |
- |
- |
- |
- |
- |
- |
- |
111 |
- |
- |
- |
- |
- |
- |
- |
- |
101 |
- |
- |
- |
- |
- |
- |
- |
- |
100 |
*1,1*,0* /0100 |
- |
- |
*1,1*,0* /0100 |
- |
- |
- |
- |
Таблица 3.4
3.1.3 СОВМЕСТНАЯ МИНИМИЗАЦИЯ Составим карты Карно для трех триггеров и четырех выходов
Таблица покрытий
№ |
q1 |
q2 |
q3 |
x1 |
x2 |
x3 |
J1 |
K1 |
J2 |
K2 |
J3 |
K3 |
Y0 |
Y1 |
Y2 |
Y3 |
1 |
z |
z |
z |
1 |
z |
0 |
V |
|
|
|
|
|
|
|
|
V |
2 |
z |
0 |
1 |
z |
z |
z |
|
|
V |
|
|
|
|
|
|
V |
3 |
z |
1 |
1 |
z |
z |
z |
|
|
|
V |
|
V |
V |
|
|
|
4 |
z |
0 |
z |
1 |
z |
1 |
|
|
V |
|
|
|
|
|
V |
|
5 |
z |
1 |
z |
z |
0 |
z |
|
|
|
|
V |
|
|
|
|
|
6 |
z |
0 |
0 |
0 |
z |
z |
|
|
|
|
|
|
|
V |
|
|
7 |
0 |
0 |
z |
0 |
1 |
z |
|
|
|
|
|
|
|
|
V |
|
8 |
z |
z |
z |
0 |
1 |
z |
|
|
V |
|
|
|
|
|
|
|
9 |
1 |
z |
z |
z |
z |
z |
|
V |
V |
|
|
|
|
|
|
|
10 |
0 |
z |
z |
0 |
0 |
z |
|
|
|
|
V |
|
|
|
|
|
11 |
z |
1 |
0 |
z |
z |
z |
|
|
|
|
|
|
|
|
V |
|
Таблица 3.5
3.1.4 ПРОВЕРКА РЕЗУЛЬТАТА МИНИМИЗАЦИИ
S(t) |
P(t) |
Fi |
S(t+1) |
W |
||||||||||||||||
q1 |
q2 |
q3 |
x1 |
x2 |
x3 |
P |
J1 |
K1 |
J2 |
K2 |
J3 |
K3 |
q1 |
q2 |
q3 |
y0 |
y1 |
y2 |
y3 |
W |
0 |
0 |
0 |
1 |
0 |
1 |
p5 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
1 |
1 |
1 |
p7 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
1 |
0 |
1 |
p5 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
1 |
z |
1 |
p5,p7 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
1 |
z |
0 |
p4,p6 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
w3 |
1 |
0 |
0 |
0 |
z |
1 |
p0,p2 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
w1 |
0 |
1 |
0 |
0 |
0 |
0 |
p0,p2 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
0 |
p0,p2 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
1 |
1 |
p3 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
1 |
1 |
p3 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
0 |
0 |
1 |
p1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
1 |
p1,p3 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
1 |
0 |
p2 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
1 |
0 |
p2 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
0 |
0 |
0 |
p0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
0 |
p0,p2 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
1 |
1 |
p3 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
0 |
1 |
p1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
1 |
p1,p3 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
0 |
0 |
p0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
w1 |
0 |
0 |
1 |
0 |
0 |
0 |
p0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
w3 |
0 |
1 |
1 |
0 |
0 |
0 |
p0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
0 |
1 |
p1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
w1 |
0 |
0 |
1 |
0 |
0 |
1 |
p1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
w3 |
0 |
1 |
1 |
0 |
0 |
1 |
p1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
w0 |
0 |
0 |
0 |
0 |
0 |
0 |
p0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
w1 |
Таблица 3.6
Выходное слово совпадает с выходным словом, полученным в тесте.