- •Оглавление.
- •Введение.
- •Задание на проектирование.
- •Абстрактный синтез автомата. Построение первичной таблицы переходов-выходов.
- •Построение минимизированной таблицы переходов.
- •Построение реализуемой таблицы переходов.
- •Построение таблицы переходов-выходов.
- •Построение таблицы возбуждений.
- •Получение условий работы синтезируемого ду.
- •Структурный синтез автомата. Минимизация функций, описывающих условия функционирования ду.
- •Приведение функций, описывающих условия работы автомата, к виду, удобному для реализации в базисе и-не.
- •Построение функциональной схемы автомата по отдельным каналам.
- •Общая функциональная схема автомата.
- •Элементы физического синтеза.
- •Анализ автомата на отсутствие состязаний типа «риск в 1» по выходу z2 или z1.
- •Автоматизированный синтез автомата на пэвм.
- •Сравнение ручного и машинного решений.
- •Заключение.
Построение минимизированной таблицы переходов.
Диаграмма объединений:
Минимизированная таблица переходов:
№ |
abc | |||||||
000 |
001 |
011 |
111 |
110 |
100 |
101 |
010 | |
a |
1 |
6 |
12 |
10 |
9 |
2 |
13 |
7 |
b |
8 |
- |
- |
- |
9 |
2 |
3 |
- |
c |
- |
4 |
- |
10 |
- |
11 |
3 |
- |
d |
5 |
4 |
12 |
- |
- |
- |
13 |
- |
Построение реализуемой таблицы переходов.
Определение всех переходов:
a→b100
b→a110*c101
c→d001*a111
d→a011*a101
Диаграмма переходов:
Получилось, что нужно 3 ЭП. Но пустые строки минимизированной таблицы переходов можно использовать для переходов.
Пусть переход c→a111 будет идти через b. Тогда минимизированная таблица переходов примет вид:
№ |
abc | |||||||
000 |
001 |
011 |
111 |
110 |
100 |
101 |
010 | |
a |
1 |
6 |
12 |
10 |
9 |
2 |
13 |
7 |
b |
8 |
- |
- |
10 |
9 |
2 |
3 |
- |
c |
- |
4 |
- |
10 |
- |
11 |
3 |
- |
d |
5 |
4 |
12 |
- |
- |
- |
13 |
- |
Переходы из строки с примут следующий вид:
c→d001*(a ab)111
Получается следующая диаграмма переходов:
Минимально количество элементов карты Карно = 2.
Все переходы удалось сделать соседними, лишних строк вводить не надо, количество ЭП – 2.
Кодирование строк (при базе y1y2):
a→00
b→01
c→11
d→10
Реализуемая таблица переходов:
у1у2 |
abc | |||||||
000 |
001 |
011 |
111 |
110 |
100 |
101 |
010 | |
00 |
1 |
6 |
12 |
10 |
9 |
2 |
13 |
7 |
01 |
8 |
- |
- |
10 |
9 |
2 |
3 |
- |
11 |
- |
4 |
- |
10 |
- |
11 |
3 |
- |
10 |
5 |
4 |
12 |
- |
- |
- |
13 |
- |
Построение таблицы переходов-выходов.
Таблица оцифрована в 8-ной системе счисления.
№ |
abc | |||||||||
000 |
001 |
011 |
111 |
110 |
100 |
101 |
010 | |||
00 |
00/0000 |
00/0101 |
00/0103 |
00/0107 |
00/0106 |
01/0004 |
00/0105 |
00/0102 | ||
01 |
01/0110 |
- 11 |
- 13 |
00/0117 |
00/0116 |
01/0014 |
11/0015 |
- 12 | ||
11 |
- 30 |
10/0031 |
- 33 |
01/0137 |
- 36 |
11/0134 |
11/0035 |
- 32 | ||
10 |
10/1020 |
10/0021 |
00/0123 |
- 27 |
- 26 |
- 24 |
00/0125 |
- 22 | ||
|
y1y2(t+1)/z1z2(t) |
|
Построение таблицы возбуждений.
По заданию в качестве ЭП выбран RS-триггер с прямым управлением.
Таблица входов RS-триггера с прямым управлением:
-
y(t)
y(t+1)
0
1
0
0~
10
1
01
~0
S(t), R(t)
Таблица возбуждений:
№ |
abc | |||||||||
000 |
001 |
011 |
111 |
110 |
100 |
101 |
010 | |||
00 |
0~,0~00 |
0~,0~01 |
0~,0~03 |
0~,0~07 |
0~,0~06 |
0~,1004 |
0~,0~05 |
0~,0~02 | ||
01 |
0~,~010 |
- 11 |
- 13 |
0~,0117 |
0~,0116 |
0~,~014 |
10,~015 |
- 12 | ||
11 |
- 30 |
~0,0131 |
- 33 |
01,~037 |
- 36 |
~0,~034 |
~0,~035 |
- 32 | ||
10 |
~0,0~20 |
~0,0~21 |
01,0~23 |
- 27 |
- 26 |
- 24 |
01,0~25 |
- 22 | ||
|
S1(t)R1(t), S2(t)R2(t) |
|