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

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

6
⎯ отработать взаимодействие с внешней средой ОА по информационным
входам.
⎯ При проектировании УА нужно решить следующие задачи:
⎯ определить оптимальный набор {x
i
};
⎯ отработать взаимодействие с внешней средой УА по управляющим вхо-
дам;
⎯ выполнить оптимизацию алгоритма работы непосредственно УА как с
использованием формальных методов (минимизация числа состояний и т. п.), так
и "вручную".
Выполнить такое тестирование путем макетирования нереально не толь-
ко из-за значительных материальных затрат, но главное из-за
затрат време-
ни на это, поскольку временной цикл проектирования не может быть боль-
шим. Наличие же соответствующей инструментальной системы, основан-
ной на использовании моделирования, даст существенную экономию мате-
риальных затрат, затрат времени, позволит использовать существующие
формализованные методы анализа и преобразования и в конечном итоге
гарантирует получение работоспособного алгоритма. Кроме того, такой
подход к разработке устройства позволит исключить из рассмотрения на
последующих этапах проектирования нерациональные варианты.
Поэтому для решения подобных задач с использованием компьютерных
технологий и была разработана инструментальная система (программное
приложение) "СОМПА" (с. 15, данного пособия). Существенным достоин-
ством системы авторы считают возможность использования формализован-
ных методов проектирования УА, таких, как:
⎯
использование специализированных языков для формализации опи-
сания УА;
⎯ возможности перевода с одного языка на другой и решение при
этом ряда задач минимизации алгоритма;
⎯ возможность получения для параллельного алгоритма эквивалент-
ного ему последовательного алгоритма (детерминизация), что позволяет
реализовать системы класса ОКМД;
⎯ верифицирование алгоритма УА моделированием.
1.1 Языки регистровых передач (ЯРП)
В основе моделирования работы ЦУ лежит его описание на каком-либо
специализированном языке. Для решения всех вышеперечисленных задач 
   ⎯ отработать взаимодействие с внешней средой ОА по информационным
входам.
   ⎯    При проектировании УА нужно решить следующие задачи:
   ⎯    определить оптимальный набор {xi};
   ⎯    отработать взаимодействие с внешней средой УА по управляющим вхо-
дам;
    ⎯ выполнить оптимизацию алгоритма работы непосредственно УА как с
использованием формальных методов (минимизация числа состояний и т. п.), так
и "вручную".
    Выполнить такое тестирование путем макетирования нереально не толь-
ко из-за значительных материальных затрат, но главное из-за затрат време-
ни на это, поскольку временной цикл проектирования не может быть боль-
шим. Наличие же соответствующей инструментальной системы, основан-
ной на использовании моделирования, даст существенную экономию мате-
риальных затрат, затрат времени, позволит использовать существующие
формализованные методы анализа и преобразования и в конечном итоге
гарантирует получение работоспособного алгоритма. Кроме того, такой
подход к разработке устройства позволит исключить из рассмотрения на
последующих этапах проектирования нерациональные варианты.
    Поэтому для решения подобных задач с использованием компьютерных
технологий и была разработана инструментальная система (программное
приложение) "СОМПА" (с. 15, данного пособия). Существенным достоин-
ством системы авторы считают возможность использования формализован-
ных методов проектирования УА, таких, как:
   ⎯ использование специализированных языков для формализации опи-
сания УА;
   ⎯ возможности перевода с одного языка на другой и решение при
этом ряда задач минимизации алгоритма;
   ⎯ возможность получения для параллельного алгоритма эквивалент-
ного ему последовательного алгоритма (детерминизация), что позволяет
реализовать системы класса ОКМД;
   ⎯    верифицирование алгоритма УА моделированием.

                1.1 Языки регистровых передач (ЯРП)
   В основе моделирования работы ЦУ лежит его описание на каком-либо
специализированном языке. Для решения всех вышеперечисленных задач


                                     6

Страницы