ПРИМЕРЫ СИНТЕЗА
Для иллюстрации описанной последовательности синтеза устойчивых асинхронных автоматов рассмотрим дополнительно ряд примеров. В качестве примеров исследуем широко применяемые в дискретной автоматике так называемые многостабильные ячейки.
Эти ячейки часто используются в качестве подавтоматов при синтезе сложных автоматов. В процессе проектирования необходимо обеспечить их устойчивость не только к функциональным и логическим состязаниям, но и к состязаниям между выходными сигналами, поскольку выходы таких ячеек могут соединяться со входами других подавтоматов, для которых, в свою очередь, требуется обеспечить устойчивость ко всем видам состязаний, в том числе и к состязаниям между входными сигналами. Рассматриваемые ниже примеры иллюстрируют возможный способ обеспечения устойчивости автомата к состязаниям между выходными переменными.П р им ер 2.9.1. Синтез бистабильной ячейки. Предварительно рассмотрим элемент памяти, имеющий два входа и один
Чтобы построить схему элемента памяти на элементах ИЛ РІНЕ, будем искать ДНФ для инверсии функции Y\. Для этого сравним каждый нулевой интервал (строки 1 и 4 табл. 2.32) с единичными интервалами переходов (строки 3 и 4). Нетрудно убедиться, что нулевой интервал перехода 1, представленный
рые промежуточные переменные являются внутренними переменными интервала. Действительно, эти переходы соответствуют переходам вдоль столбца таблицы переходов, причем на пересечении рассматриваемого столбца и строк, представляющих состояния хь (хг), указаны одни и те же значения функции переходов, а также функции выходов (для модели Мили).
Так, в структур-
Следовательно, выбранный код внутренних состояний является противогоночным.
Как и в случае бистабильной ячейки, нетрудно убедиться, что в синтезируемом автомате имеют место состязания между выходными переменными. Для их устранения потребуем, чтобы
