
Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:СХТ САПР_2013 / Модуль 3 / Лекция 10
.ppt
Кодирование состояний ЦА с памятью

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

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


развязаны 
пропускаем


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