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

тельный (это в ряде случаев полезно и для анализа параллельного
алгоритма);

  ⎯    произвести упрощение (минимизацию) алгоритма;

  ⎯    задать входные сигналы алгоритма абстрактными или двоич-
ными, что расширяет диапазон применения системы;

  ⎯    проверить правильность (верифицировать) алгоритма моде-
лированием его работы с заданием входа алгоритма по отдельным
шагам или на любое число шагов;

  ⎯    вставить дополнительную последовательность входных сиг-
налов в любое место уже промоделированной последовательности
(при этом автоматически обновляются результаты моделирования).

  Приложение отличается:

  ⎯    высокой эффективностью при создании и верификации алго-
ритмов, т. к. пользователю не требуется изучать и использовать язы-
ки программирования;

  ⎯    хорошо интуитивно понимаемым графическим интерфейсом
для каждого этапа работы;

  ⎯    удобными встроенными редакторами для каждого из исполь-
зуемых языков;

  ⎯    удобным редактором для описания и моделирования опера-
ционного автомата;

  ⎯    удобными формами для задания входных воздействий на
очередном шаге алгоритма;

  ⎯    удобными формами представления результатов моделирова-
ния.

                                21