- •С анкт-петербургский государственный электротехнический университет "лэти" имени в.И. Ульянова (ленина)
- •1 97376, Санкт-Петербург, ул. Проф. Попова, 5.
- •Вариант 8
- •2 Абстрактный синтез автомата
- •2.1 Граф автомата мура
- •2.2 Проверка автомата мура
- •2.3 Переход к автомату мили
- •2.4 Учет взаимодействия управляющего и операционного автоматов
- •3 Структурный синтез автомата
- •3.1 Кодирование состояний автомата
- •2.5 Минимизация частичного автомата мили
- •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.5 Оценка сложности комбинационной схемы
Приближенная оценка сложности
3НЕ + 25И +11ИЛИ = 39
Точная оценка сложности
T1 =
(4)
T2 =
(4)
T3 =
(4)
T4 =
(4)
T5 =
(4)
T6 =
(4)
T7 =
(7)
T8 =
(4)
T9 = q1 (0)
T10
=
(4)
T11
=
(4)
J1 = T1 (4)
K1 = T9 (0)
J2 = (T2VT4VT8)VT9V0 (18)/
K2 = T3 (4)
J3 = T5VT10V0 (11)
K3 = T3 (элемент уже есть)
Y0 = T3 (элемент уже есть)
Y1 = T6 (4)
Y2 = T4VT7VT11 (11)
Y3 = T1VT2V0 (3)
Итоговая сложность схемы по количествам входов без учета входов триггеров равна 58
3.2 Кодирование состояний автомата, направленное на упрощение комбинационной схемы
Таблица переходов и выходов
Si |
x1x2x3 |
|||||||
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 |
|
s0 |
s1/0100 |
s1/0100 |
s2/0110 |
s2/0110 |
s3/0001 |
s2/0010 |
s3/0001 |
- |
s1 |
s4/0001 |
s4/0001 |
- |
- |
- |
- |
- |
- |
s2 |
S4/0010 |
s4/0010 |
s2/0010 |
s2/0010 |
- |
S4/0010 |
- |
s2/0010 |
s3 |
s2/0100 |
- |
s2/0100 |
- |
- |
- |
- |
- |
s4 |
s0/1000 |
s0/1000 |
s0/1000 |
s0/1000 |
- |
s0/1000 |
- |
s0/1000 |
Таблица 3.7
Инверсная таблица переходов
Si |
x1x2x3 |
|||||||
000 |
001 |
011 |
010 |
110 |
111 |
101 |
100 |
|
S0 |
S4 |
S4 |
S4 |
S4 |
|
S4 |
|
S4 |
S1 |
S0 |
S0 |
S0 |
S0 |
|
|
|
|
S2 |
S3 |
|
S0,S3 |
S0 |
|
S0 |
|
|
S3 |
|
|
|
|
S0 |
|
S0 |
|
S4 |
S1,S2 |
S1,S2 |
|
|
|
S2 |
|
|
Таблица 3.8
По инверсной таблице видно, что состояния S1 и S2 являются соседями первого рода
По таблице переходов и выходов S1 и S2 являются также соседями и второго рода
Рис. 3.1
Состояния |
Коды q1q2 |
S0 |
110 |
S1 |
000 |
S2 |
010 |
S3 |
100 |
S4 |
011 |
Таблица 3.9
