АбстрАктный синтез
1. Построение и минимизация первичной таблицы переходов-выходов.
Таблицу строим по словесной формулировке, приведенной в задании.
|
Таблица переходов | ||||||||||
|
N |
abc |
Z1 |
Z2 | |||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | |||
|
1 |
1 |
6 |
2 |
-- |
7 |
-- |
-- |
-- |
0 |
0 |
|
2 |
8 |
-- |
2 |
9 |
-- |
-- |
3 |
-- |
0 |
0 |
|
3 |
-- |
-- |
10 |
-- |
7 |
-- |
3 |
4 |
0 |
0 |
|
4 |
-- |
-- |
-- |
5 |
-- |
11 |
12 |
4 |
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 |
С целью уменьшения числа элементов памяти желательно иметь таблицы переходов с минимальным числом строк. Число строк первичной таблицы переходов-выходов может быть уменьшено за счет объединения некоторых из них. Воспользуемся наиболее простым методом минимизации первичной таблицы переходов-выходов - методом объединения совместимых внутренних состояний. Для наглядности представления всех возможных объединений строк таблицы построим диаграмму объединений. Наиболее оптимальным вариантом будет объединение строк: (4,5,12,13); (1,6,7); (2,8,9); (3,10,11). Строим минимизированную таблицу переходов.
Минимизированная таблица переходов
|
N |
abc | |||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | |
|
A |
1 |
6 |
2 |
-- |
7 |
-- |
-- |
-- |
|
B |
8 |
-- |
2 |
9 |
-- |
-- |
3 |
-- |
|
C |
-- |
-- |
10 |
-- |
4 |
-- |
3 |
11 |
|
D |
-- |
-- |
-- |
5 |
4 |
12 |
-- |
-- |
2. Построение реализуемой таблицы переходов.
Для каждой строки минимизированной таблицы переходов по каждому столбцу (с неустойчивым тактом) выписываем все переходы:
a b010
b c110
c d100
Все имеющиеся переходы обязательные. На основании полученных результатов строим диаграмму переходов.
|
Y2 Y1 |
0 |
1 |
|
0 |
a |
b |
|
1 |
d |
c |
Запишем коды строк по карте Карно:
a– 00
b– 01
c– 11
d- 10.
По заполненной карте Карно построим реализуемую таблицу переходов.
|
Реализуемая таблица переходов | ||||||||
|
Y1Y2 |
abc | |||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | |
|
00 |
1 |
6 |
2 |
-- |
7 |
-- |
-- |
-- |
|
01 |
8 |
-- |
2 |
9 |
-- |
-- |
3 |
-- |
|
11 |
-- |
-- |
10 |
-- |
4 |
-- |
3 |
11 |
|
10 |
-- |
-- |
-- |
5 |
4 |
12 |
-- |
-- |
