Файл: Синтез счетчика с преобразователем кода на выходе курсовая работа.docx

1.5 Составление карт входов триггеров и их уравнений

Преобразование разностных карт в карты уравнений входов согласно словарю входов.[1] Для реализации были выбраны 2 JK- и 2 Т- триггера:

Таблица 9 - Таблица соответствия

f	D	T	JK
			J	K
0	0	0	0	x
1	1	0	x	0
α	1	1	1	x
β	0	1	x	1

Таблица 10 - Таблица для входа J_A

QCQD QAQB	00	01	11	10
00	0	0	0	0
01	0	0	1	0
11	x	0	1	0
10	x	x	x	x

Таблица 11 - Таблица для входа K_A

QCQD QAQB	00	01	11	10
00	0	0	x	0
01	x	x	x	x
11	1	1	1	1
10	0	0	0	0

---

Таблица 12 - Таблица для входа T_B

QCQD QAQB	00	01	11	10
00	0	0	1	0
01	0	0	1	0
11	1	1	1	1
10	0	0	1	0

Таблица 13 - Таблица для входа T_C

QCQD QAQB	00	01	11	10
00	0	1	1	0
01	0	1	1	0
11	1	1	1	1
10	0	1	1	0

Таблица 14 - Таблица для входа J_D

QCQD QAQB	00	01	11	10
00	1	1	x	1
01	1	x	x	1
11	1	1	1	1
10	1	x	x	1

Таблица 15 - Таблица для входа K_D

QCQD QAQB	00	01	11	10
00	1	1	1	1
01	x	1	1	x
11	x	1	1	1
10	x	1	1	x

---

---

1.6 Доопределение неиспользуемых состояний счетчика

Т.к. модуль пересчета меньше числа возможных четырехзначных двоичных комбинаций, появилось 6 неиспользуемых состояний. Счетчик может попасть в них случайно, в результате сбоя в системе, поэтому необходимо определить стоки из этих состояний.

Алгоритм определения стоков из неиспользуемых состояний:

• 
  для каждого неиспользуемого состояния определить значение функций входов на каждой ступени, учитывая минимизацию карт уравнений входов;
  
• 
  определить возможные переходы по словарю триггера;
  
• 
  выбрать один возможный переход, учитывая условия: для J и K триггеров значения должны совпадать и для значения состояния из n-такта выбранный переход должен подходить;
  
• 
  определить сток из этого состояния.
  

Таблица 16 - Переходы из неиспользуемых состояний

n-такт				n+1-такт
A	B	C	D		A	B	C	D
0	0	0	0		0, 1, β 0, 1, α	0, 1	0,1	1, α, β 0, α, β
0	0	0	1		0, 1, β 0, 1, α	0,1	α, β	1, α, β 0, α, β
0	0	1	0		0, 1, β 0, 1, α	0,1	0,1	1, α, β 0, α, β
1	1	0	1		0, 1, β 0, α, β	α, β	α, β	1, α, β 0, α, β
1	1	1	0		0, 1, β 0, α, β	α, β	α, β	1, α, β 0, α, β
1	1	1	1		0, 1, β 0, α, β	α, β	α, β	1, α, β 0, α, β

---

Эти переходы дают строки:

Таблица 17 - Переходы из неиспользуемых состояний

n-такт				n+1-такт
A	B	C	D		A	B	C	D
0	0	0	0		0	0	0	1
0	0	0	1		0	0	1	0
0	0	1	0		0	0	1	1
1	1	0	1		0	0	1	0
1	1	1	0		0	0	0	1
1	1	1	1		0	0	0	0

---