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

UptoLike

33
Из этой таблицы видно, что безусловный переход из одного со-
стояния в другое задается символом "1", а недостижимые переходы
– символом "0".
Желательно (не обязательно) начальное состояние алгоритма
обозначать в соответствии с маской установленной для такого собы-
тия в языке РВАС.
В окне редактора допустимые операции языка обозначаются сле-
дующим образом:
отрицание –
x
(при включенном верхнем регистре введен
символ "
x
");
конъюнкция – &.
В качестве разделителя может использоваться любой из следую-
щих символов: {,}{&}{*}{;}{-}{+}{%}{#}{@}.
Для управления переходами таких элементарных автоматов как
триггеры также существуют правила именования сигналов (табл.
2.2):
Таблица 2.2
Префикс Тип сигнала Пример
a
Абстрактный переход
a
0
s
Активный сигнал для
Q
и
T
-триггера
s
1
r
Сигнал сброса
RS
-триггера
r
4
s
Сигнал установки
RS
-триггера
swait
j
Сигнал установки
JK
-триггера
j_done
k
Сигнал сброса
JK
-триггера
kev
10
   Из этой таблицы видно, что безусловный переход из одного со-
стояния в другое задается символом "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


                                      33