Сокращение первичной таблицы переходов.
Сокращённая таблица переходов получается из первичной таблицы с помощью объединения строк с совместимыми состояниями.
Для нашего случая получаем четыре состояния. Тогда сокращённая таблица переходов будет иметь следующий вид таблица 4
Табл.4
|
№ сост |
Наборы СХ1Х2 |
Q1n | |||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 | ||
|
1,2,3,4,6,7 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
0 |
|
5,8 |
9 |
- |
- |
12 |
5 |
6 |
7 |
8 | |
|
9,10,11,12,13,15 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
1 |
|
14,16 |
- |
2 |
- |
4 |
13 |
14 |
15 |
16 | |
Обозначив каждую группу состояний из таблицы 4 любым номером состояния из группы совместимых состояний (например, номерами первых состояний) и заменяя на них остальные совместимые с ними состояния в таблице 4, получаем конечную сокращённую таблицу переходов таблица 5.
Табл.5
|
№ сост |
Наборы СХ1Х2 |
Q1n | ||||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 |
| ||
|
1 |
1 |
1 |
1 |
1 |
5 |
1 |
1 |
5 |
0 | |
|
5 |
9 |
- |
- |
9 |
5 |
1 |
1 |
5 | ||
|
9 |
9 |
9 |
9 |
9 |
9 |
14 |
9 |
14 |
1 | |
|
14 |
- |
1 |
- |
1 |
9 |
14 |
9 |
14 | ||
Составление Граф-схема переходов.
Граф переходов составляется в соответствии с сокращённой таблицей переходов . Граф-схема переходов имеет вид:
Кодирование внутренних состояний триггера.
Из таблицы табл.5 видно, что для кодирования внутренних состояний триггера необходимы две ЭЗЯ с переменными Q1 и Q2, выражающими одновременно внутренние переменные триггерного устройства (одна из букв Q1 будет выражать выходной сигнал триггерного устройства в целом).
Проведём соседнее кодирование внутренних состояний так, как показано на графе переходов (в знаменателе).
Обобщённая таблица переходов триггера во времени.
Обобщённая таблица переходов составляется с использованием граф-схемы переходов (Табл. 6).
Представлением триггерного устройства обобщённой таблицей переходов во времени заканчивается этап абстрактного синтеза.
Табл.6.
|
№ |
С |
Х1 |
Х2 |
t |
t+1 |
hS1 |
hR1 |
hS2 |
hR2 | ||
|
Q1 |
Q2 |
Q1 |
Q2 | ||||||||
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
- |
1 |
|
2 |
0 |
0 |
0 |
1 |
0 |
- |
- |
- |
- |
- |
- |
|
3 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
4 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
5 |
0 |
0 |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
|
6 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
- |
|
7 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
8 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
9 |
0 |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
- |
|
10 |
0 |
1 |
0 |
1 |
0 |
- |
- |
- |
- |
- |
- |
|
11 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
12 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
13 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
- |
1 |
|
14 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
- |
|
15 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
16 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
- |
0 |
1 |
|
17 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
- |
- |
1 |
|
18 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
- |
1 |
0 |
1 |
|
19 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
20 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
21 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
- |
1 |
0 |
|
22 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
- |
1 |
1 |
- |
|
23 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
- |
1 |
1 |
0 |
|
24 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
- |
1 |
- |
|
25 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
- |
1 |
0 |
|
26 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
- |
1 |
0 |
1 |
|
27 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
- |
1 |
- |
1 |
|
28 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
- |
0 |
1 |
|
29 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
- |
- |
1 |
|
30 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
- |
1 |
1 |
- |
|
31 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
- |
1 |
1 |
0 |