- •Построение и минимизация Первичной таблицы переходов- выходов
- •Минимизация первичной таблицы переходов-выходов
- •Реализуемая таблица переходов
- •III. Построение таблиц переходов-выходов и возбуждений элементов памяти.
- •IV. Условия работы автомата.
- •Структурный синтез.
- •Сравнение машинного и ручного синтеза.
- •Элементы физического синтеза.
- •Анализ автомата на отсутствие состязаний типа "Риск в 1 " в функции выхода z2.
- •Пермский Государственный Технический Университет
Абстрактный синтез.
Построение и минимизация Первичной таблицы переходов- выходов
Таблицу строим по словесной формулировке, приведенной в задании и тем самым осуществляем первый переход к формализованной записи условий работы синтезируемого ДУ.
Таблица переходов | ||||||||||
N |
abc |
Z1 |
Z2 | |||||||
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | |||
1 |
1 |
6 |
7 |
--- |
2 |
--- |
--- |
--- |
0 |
0 |
2 |
8 |
--- |
--- |
--- |
2 |
3 |
9 |
--- |
0 |
0 |
3 |
--- |
4 |
--- |
--- |
10 |
3 |
--- |
11 |
0 |
0 |
4 |
5 |
4 |
--- |
12 |
--- |
13 |
--- |
--- |
0 |
0 |
5 |
5 |
--- |
--- |
--- |
--- |
--- |
--- |
--- |
1 |
0 |
6 |
--- |
6 |
--- |
--- |
--- |
--- |
--- |
--- |
0 |
1 |
7 |
--- |
--- |
7 |
--- |
--- |
--- |
--- |
--- |
0 |
1 |
8 |
8 |
--- |
--- |
--- |
--- |
--- |
--- |
--- |
0 |
1 |
9 |
--- |
--- |
--- |
--- |
--- |
--- |
9 |
--- |
0 |
1 |
10 |
--- |
--- |
--- |
--- |
10 |
--- |
--- |
--- |
0 |
1 |
11 |
--- |
--- |
--- |
--- |
--- |
--- |
--- |
11 |
0 |
1 |
12 |
--- |
--- |
--- |
12 |
--- |
--- |
--- |
--- |
0 |
1 |
13 |
--- |
--- |
--- |
--- |
--- |
13 |
---- |
---- |
0 |
1 |
Минимизация первичной таблицы переходов-выходов
С целью уменьшения числа элементов памяти желательно иметь таблицы переходов с минимальным числом строк. Число строк первичной таблицы переходов-выходов может быть уменьшено за счет объединения некоторых из них. Воспользуемся наиболее простым методом минимизации первичной таблицы переходов-выходов - методом объединения совместимых внутренних состояний. Для наглядности представления всех возможных объединений строк таблицы построим диаграмму объединений.
Диаграмма об’единений
На основании полученного результата строим минимизированную таблицу переходов.
Минимизированная таблица переходов.
N |
abc | |||||||
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | |
A |
1 |
6 |
7 |
--- |
2 |
--- |
--- |
--- |
B |
8 |
--- |
--- |
--- |
2 |
3 |
9 |
--- |
C |
--- |
4 |
--- |
--- |
10 |
3 |
--- |
11 |
D |
5 |
4 |
--- |
12 |
--- |
13 |
--- |
--- |
II. Построение реализуемой таблицы переходов.
А) Построение диаграммы переходов.
Для каждой строки минимизированной таблицы переходов по каждому столбцу (с неустойчивым тактом) выписываем все переходы:
A B100
B C101
C D001
{Все имеющиеся переходы обязательные.}
На основании полученных результатов строим диаграмму переходов.
Диаграмма переходов
A B C D
Б) Кодирование строк для исключения состязаний элементов памяти.
Так как переходы от строки к строке для исключения состязаний должны осуществляться при изменении состояния только элемента памяти, то комбинации состояний элементов памяти тех строк, между которыми есть переходы, должны быть соседними. Для выбора соседних комбинаций состояний элементов памяти, т.е для кодирования строк таблицы переходов, воспользуемся картой Карно (иногда это называют вхождением таблицей в карту Карно ).
Берем карту Карно на 2 элемента:
|
Y2 | ||
|
0 |
1 | |
Y1 |
0 |
A |
B |
1 |
D |
C |
A
B01
C11
D10
В) Построение реализуемой таблицы переходов.
Заполненная карта Карно позволяет построить реализуемую таблицу переходов. Она имеет такой же вид, как и минимизированная таблица, но в ней дополнительно указываются элементы памяти, их состояния (в соответствии с кодом строк) и все переходы. Напомню что для обеспечения соседства строк, в строке B два условных состояния были заменены на неустойчивые такты и через них введены дополнительные переходы.