Синтез и отладка алгоритмов функционирования цифровых устройств управления. Вашкевич Н.П - 34 стр.

  При управлении состояниями автомата с использованием
RS-триггеров комбинация сигналов s_somestate,R_somestate являет-
ся запрещённой, так как создаёт неопределённость переключения
триггера. Для JK-триггера одновременное появление сигналов
j_somestate, k_somestate разрешено.
  Настройка таблицы переходов выполняется через пункт основно-
го меню [Настройки|Опции…]. На вкладке "Таблица переходов" за-
даются следующие параметры:

  ⎯    "Контроль префиксов" – нужно ли компилятору выполнять
контроль префиксов входных и выходных сигналов и состояний (в
текущей реализации данный параметр всегда включен);

  ⎯    "Детерминированность" – является ли управляющий автомат
детерминированным автоматом;

  ⎯    "Абстрактные входы" – являются ли входные сигналы абст-
рактными;

  ⎯    "Абстрактные выходы" – являются ли выходные сигналы аб-
страктными;

  ⎯    "Тип триггеров" – указание триггера, на котором реализован
автомат, если по функциям возбуждения элементарных автоматов
необходимо получить исходную СКУ и СВФ (проверка правильности
реализации алгоритма).

  Так как алгоритм моделируется только при задании его на языке
ТПиВ, то, кроме стандартных подпунктов, добавляется подпункт
[Файл|Отчет], который позволяет результаты моделирования сохра-
нить в файле отчета в формате RTF.


                                34