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

дующих этапах было легче устанавливать соответствие между ГСА и
ТПиВ. Напоминаем, что в этом случае нужно соблюдать синтаксис, а имен-
но:<событие><(<список управляющих сигналов>)>. Например, s12(y1,y2).
ГСА приведена на рис. 3.6. Из исходного задания ясно, что для объедине-
ния параллельных ветвей нужно использовать конъюнктивный соедини-
тель, причем выход за него выполняется в случае завершения процессов в
параллельных ветвях.
   Для осуществления этого каждая ветвь заканчивается операторной вер-
шиной с "пустым" выходным сигналом, соответственно, sk1(ye) и sk2(ye).
Далее организуется цикл ожидания завершения процесса в другой ветви.
Конечно, в данном алгоритме можно было поступить более просто. Доста-
точно в левой ветви вставить операторную вершину с "пустым" выходным
сигналом и время выполнения ветвей будет выравнено, и тогда не нужны
циклы ожидания. Но если в алгоритме есть ветвления и циклы, то такой
подход невозможен.
   На четвертом шаге преобразуем описание алгоритма с языка ГСА на
язык ТПиВ. При этом преобразовании могут быть выявлены различные
ошибки. Например, недостижимые события или отсутствие перехода из
какого-то события. В этом случае нужно разобраться с этими ошибками
(можно в ГСА, можно в ТПиВ, в зависимости от того, как удобнее разра-
ботчику). Если ошибок нет, переходим к следующему шагу.
   На пятом шаге при открытой таблице переходов с использованием
[Операционный автомат|Создать], открываем окно "Операционный ав-
томат" и описываем ОА проектируемого устройства (рис. 3.7). Описыва-
ются все регистры ОА, выходные сигналы от УА к ОА (yi), входные сигна-
лы УА от ОА (xi). При этом можно проверить правильность выполнения в
ОА каждого yi и правильность формирования xi.




                                  36