Другие предметы \ Проектирование цифровых устройств

Устройство синхронизации сигналов. Проект конечного автомата, осуществляющего синхронизацию информационных импульсов, поступающих в произвольные моменты времени, страница 7

	τ₈	τ₉	τ₁₀	τ₁₁
q₀	0	0	0	0
q₁	1	0	1	0
q₂	1	1	1	-
q₃	1	1	0	1
q₄	0	0	0	1
q₅	0	1	1	0

Таблица 24. Минимизация состояний памяти автомата А

	τ₉	τ₁₀	τ₁₁	τ₁₂
q₀	0	0	0	0
q₁	0	1	0	1
q₂	1	1	-	1
q₃	1	0	1	-
q₄	0	0	1	-
q₅	1	1	0	0

Полученная табл. 24 полностью повторяет табл. 20, что говорит о том, что процесс минимизации зациклился, а, следовательно, дальнейшая минимизация невозможна. Данный результат показывает, что для устранения гонок методом устранения критических состязаний необходимо использовать четыре элемента памяти, следовательно, использовать данный метод для осуществления противогоночного кодирования нецелесообразно (т.к. при соседнем кодировании требуется всего 3 элемента памяти).

Таким образом, для кодирования состояний автомата целесообразней использовать соседнее кодирование.

Формирование и минимизация функций выходов и функций возбуждения памяти автомата

На основе сформированной структурной таблицы выходов синтезируемого автомата А (табл. 11)получаем карту Карно для его функции выходов (рис. 4).

Рисунок 4. Карта Карно для функции выходов автомата А

Для формирования функций возбуждения автомата А воспользуемся его таблицей переходов (табл. 10) и проведем в ней подстановки в соответствии с функцией выходов выбранных элементов памяти в виде RS-триггеров, заданной в табл. 25.

Таблица 25. Функция входов RS-триггера

q_исх	φ_S φ_R	q_кон
0	1-	0
0	01	1
1	10	0
1	-1	1

В результате получим табл. 26.

Таблица 26. Таблица формирования функций возбуждения элементов памяти автомата А

X	q₀=000			q₁=001			q₂=111			q₃=110			q₄=100			q₅=010			q₆=101
X	0	0	0	0	0	1	1	1	1	1	1	0	1	0	0	0	1	0	1	0	1
x₁x₂	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃	τ₁	τ₂	τ₃
x₁x₂	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R	φ_Sφ_R
00	0	0	0	0	0	1	1	1	0	1	1	0	0	0	0	1	1	0	-	-	-
00	1-	1-	1-	1-	1-	-1	-1	-1	10	-1	-1	1-	10	1-	1-	01	-1	1-	-	-	-
01	0	0	0	1	0	1	1	1	1	1	0	0	0	0	0	0	1	0	1	1	1
01	1-	1-	1-	01	1-	-1	-1	-1	-1	-1	10	1-	10	1-	1-	1-	-1	1-	-1	01	-1
10	0	0	1	0	0	1	1	1	0	1	1	0	1	0	0	1	1	0	-	-	-
10	1-	1-	01	1-	1-	-1	-1	-1	10	-1	-1	1-	-1	1-	1-	01	-1	1-	-	-	-
11	0	1	0	1	0	1	1	1	1	1	0	0	1	0	0	0	1	0	1	1	1
11	1-	01	1-	01	1-	-1	-1	-1	-1	-1	10	1-	-1	1-	1-	1-	-1	1-	-1	01	-1

1 2 3 4 5 6 7 8 9 10

Скачать файл