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

ных областях вычислительной техники с их последующей верификацией
путем моделирования. Например, для разработки следующих алгоритмов:
управление цифровыми устройствами в компьютерных системах; управле-
ние цифровыми контроллерами в технологических процессах; распознава-
ние (поиск вирусов, синтаксический анализ и т. п.) и т. д. Приложение, в
первую очередь, ориентировано для обучения студентов разработке алго-
ритмов с их последующей верификацией. Необходимые ресурсы для рабо-
ты системы "СОМПА": операционные системы — Windows 9Х (минималь-
ный размер ОЗУ — 8 Мбайт) или Windows NT (минимальный размер ОЗУ
— 16 Мбайт).
   Приложение имеет следующие возможности:
   ⎯ позволяет проектировать алгоритмы с их последующей верифика-
цией моделированием для систем "одиночный поток команд – одиночный
поток данных" (ОКОД) и "одиночный поток команд – множественный по-
ток данных" (ОКМД). При этом имеется в виду, что синхронизация УА и
ОА в них производится от одного генератора;
   ⎯ позволяет описать и моделировать как ЦУ в целом (УА+ОА), так и
по отдельности УА и ОА; описать на уровне языка регистровых передач
операционный автомат и произвести его моделирование;
   ⎯ при проектировании УА задать (описать) алгоритм на любом из
стандартных языков, таких, как графические схемы алгоритмов (ГСА), ре-
гулярные выражения алгебры событий (РВАС), систем канонических урав-
нений и систем функций выхода (СКУ и СВФ), таблиц переходов и выходов
(ТПиВ);
    ⎯ выполнить преобразование описания алгоритма заданного на одном
из языков, на другой из этих языков;
   ⎯ произвести, если это необходимо, преобразование (детерминиза-
цию) параллельного алгоритма в эквивалентный ему последовательный (это
в ряде случаев полезно и для анализа параллельного алгоритма);
   ⎯   произвести упрощение (минимизацию) алгоритма;
   ⎯ задать входные сигналы алгоритма абстрактными или двоичными,
что расширяет диапазон применения системы;
   ⎯ проверить правильность (верифицировать) алгоритма моделирова-
нием его работы с заданием входа алгоритма по отдельным шагам или на
любое число шагов;




                                   13