Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

СХТ САПР_2013 / Модуль 3 / Лекция 10

.ppt
Скачиваний:
8
Добавлен:
10.02.2015
Размер:
127.49 Кб
Скачать

Кодирование состояний ЦА с памятью

Противогоночное кодирование состоянии

(a,b) и (c,d) - две пары двоичных кодов длины k

Развязаны: если в i-м разряде код принимает одно значение на паре (a,b) и противоположное - на паре (c,d)

Связаны: в остальных случаях

Теорема

В автомате, состояния которого закодированы двоичными кодами конечной длины, гонки отсутствуют тогда и только тогда, когда для любых двух переходов (Qm,Qs) и (Qk,Ql) , происходящих под действием одного и того же входного сигнала, соответствующие пары кодов состояний развязаны.

Для ассинхронного ЦА Qs = Ql не развязываются, в остальных случаях необходимо развязывать.

развязаны

пропускаем

Соседние файлы в папке Модуль 3