Синтез и отладка алгоритмов функционирования цифровых устройств управления - 22 стр.

    Из этой таблицы видно, что безусловный переход из одного состояния в
другое задается символом "1", а недостижимые переходы – символом "0".
    Желательно (не обязательно) начальное состояние алгоритма обозначать
в соответствии с маской установленной для такого события в языке РВАС.
    В окне редактора допустимые операции языка обозначаются следующим
образом:
   ⎯     отрицание – x (при включенном верхнем регистре введен символ
"x");
   ⎯ конъюнкция – &.
   В качестве разделителя может использоваться любой из следующих
символов: {,}{&}{*}{;}{-}{+}{%}{#}{@}.
   Для управления переходами таких элементарных автоматов как тригге-
ры также существуют правила именования сигналов (табл. 2.2):
                                                                 Таблица 2.2
        Префикс                      Тип сигнала                 Пример
         a        Абстрактный переход                       a0
         s        Активный сигнал для Q и T-триггера        s1
         r        Сигнал сброса RS-триггера                 r4
         s        Сигнал установки RS-триггера              swait
         j        Сигнал установки JK-триггера              j_done
         k        Сигнал сброса JK-триггера                 kev10
   При управлении состояниями автомата с использованием
RS-триггеров комбинация сигналов s_somestate,R_somestate является за-
прещённой, так как создаёт неопределённость переключения триггера. Для
JK-триггера одновременное появление сигналов j_somestate, k_somestate
разрешено.
   Настройка таблицы переходов выполняется через пункт основного меню
[Настройки|Опции…]. На вкладке "Таблица переходов" задаются сле-
дующие параметры:
   ⎯ "Контроль префиксов" – нужно ли компилятору выполнять кон-
троль префиксов входных и выходных сигналов и состояний (в текущей
реализации данный параметр всегда включен);
   ⎯ "Детерминированность" – является ли управляющий автомат де-
терминированным автоматом;


                                        22