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

    Примеры правильных операций:
    RSM:=R1+R2
    RSM:=!R1+R2+1
    R2[8/15]:=R1[0/7]
    Примеры неправильных операций:
    RCM[1/7]=!R2[0/6]+R3[0/6]+1
    DO=!R1+3
    LS(!R1,1)
    RDI[4]=R2[4]%R3[4]&R17[0]
    Операции используются также формирования осведомительных сигна-
лов от ОА к УА. Поскольку значением такого сигнала может быть только
"0" или "1", то и выражение, составленное из операций, должно давать та-
кой результат. Приведем примеры формирования осведомительных сигна-
лов.
    Примеры правильной записи осведомительных сигналов:
    RCM[0] – нулевой разряд регистра RCM.
    !R1[7] – инверсия 7-го разряда регистра R1.
    V(CT1[0/3]) – дизъюнкция разрядов счетчика CT1 с нулевого по третий.
    Примеры неправильной записи осведомительных сигналов:
    R1[0]+R2[0] – использован арифметический оператор.
    R1[0/7]vR2[0/7] – результат операции 8 двоичных разрядов.


  2 Инструментальная система разработки
 и верификации параллельных алгоритмов
   Инструментальная система "СОМПА" (система описания, моделирова-
ния, преобразования алгоритмов) разработана на кафедре "Вычислительная
техника" Пензенского государственного университета под научным руко-
водством д.т.н., профессора Вашкевича Н.П. Непосредственными авторами
разработки являются студенты Синев С. А. (гр. 95В1), Антонов А. В., Тока-
рев А. Н. (гр. 96ВВ1). Система представляет собой программное приложе-
ние и предназначена для ускорения разработки алгоритмов цифровых уст-
ройств, в том числе с использованием параллельной обработки, в различ-


                                   12