УСЛОВИЯ ПРАВИЛЬНОГО КОДИРОВАНИЯ ДЛЯ КОМПОЗИЦИОННОЙ МОДЕЛИ

Рассмотрим ситуацию, когда требуется произвести одновременное изменение выходных сигналов различных подавтоматов в ответ на смену набора значений внешних входных переменных

Можно убедиться в том, что аналогичная ситуация имеет место и для других комбинаций условий.

3.5. ПРИМЕРЫ СИНТЕЗА

Приведем схему синтеза заданного автомата на основе композиционной модели:

1. Определить внутренние состояния'■■синтезируемого автомата, используя информацию об алгоритмах функционирования всего автомата и заданных подавтоматов.

2. Проверить выполнение условий правильности кодирования (3.2) или (3.3).

3. Построить сжатую таблицу переходов УА модели Мура.

4. Провести синтез УА с устранением всех видов состязаний. Отметим, что синтез УА на основе таблицы переходов модели Мили приводит к представлению устройства в виде компо-

ЯИТТИИ 3RTOM3TOR. я не в виде композиционной модели.

Рис. 3.5. Композиционная модель синтезируемого устройства. Подавтомат Ах — бистабильная ячейка, подавтомат А2 — трехстабильная ячейка

Искомая схема, реализующая эти выражения, устойчива к состязаниям всех видов (рис. 3.7).

Пр и мер 3.5.2. Проведем синтез двухразрядного счетчика Джонсона с использованием бистабильных ячеек в качестве под-