Синтез цифровых автоматов. Захаров Н.Г - 76 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

75
Другой способ ликвидации гонок заключается во введении двойной памяти
(рис. 4.8).
& &
Тв
o
oo
o
Тн
P
Каналы Х
Рис. 4.8. Исключение «гонок» в автомате
В этом случае каждый элемент памяти дублируется, причем запись из нижнего
элемента памяти в верхний происходит в момент отсутствия тактирующего импульса
(р = 0). Сигналы обратной связи для получения функций возбуждения и функций вы-
ходов автомата снимаются с верхнего ряда триггеров. Таким образом, состязания мо-
гут возникать только между нижними триггерами и, пока р не станет равным нулю,
сигналы обратной связи не изменятся. Тогда и входной сигнал рx
f
также равен нулю,
то есть гонок быть не может.
Наряду с аппаратурными способами для устранения гонок используются спе-
циальные методы кодирования (противогоночное кодирование).
Пусть (α, β) и (γ, δ) – две пары двоичных кодов длины R. Пары (α, β) и (γ, δ)
называются развязанными, если при некотором 1 ≤ r ≤ R r-й разряд кода принимает
одно значение на паре (α, β) и противоположное на паре (γ, δ). В противоположном
случае пары двоичных кодов называются связанными.
Теорема (без доказательства) [1]. В автомате, состояния которого закодирова-
ны двоичными кодами конечной длины, гонки отсутствуют тогда и только тогда, ко-
гда для любых двух переходов (q
m
, q
s
) и (q
k
, q
l
), q
s
≠ q
l
, происходящих под дейст-
вием одного и того же входного сигнала, соответствующие им пары кодов состояний
развязаны.
Существует один частный способ кодирования – соседнее кодирование состоя-
ний автомата, при котором условие отсутствия гонок всегда выполнено.
При соседнем кодировании любые два состояния связанные дугой на графе ав-
томата, кодируются наборами, отличающимися состояниями лишь одного элемента
памяти.
Таким образом, имеются четыре способа устранения гонок: 1) двойная память;
2) рациональный выбор длительности синхроимпульса; 3) развязывание пар перехо-
дов; 4) соседнее кодирование.
4.6. Построение комбинационной схемы автомата
Пусть необходимо синтезировать частичный С-автомат A, заданный таблицей
переходов (табл. 4.7) и отмеченный таблицей выходов (табл. 4.8).

Страницы