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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

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

   Поэтому для решения подобных задач с использованием компью-
терных технологий и была разработана инструментальная система
(программное приложение) "СОМПА" (с. 15, данного пособия). Суще-
ственным достоинством системы авторы считают возможность ис-
пользования формализованных методов проектирования УА, таких,
как:

   ⎯   использование специализированных языков для формализа-
ции описания УА;

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

   ⎯   возможность получения для параллельного алгоритма экви-
валентного ему последовательного алгоритма (детерминизация), что
позволяет реализовать системы класса ОКМД;

   ⎯   верифицирование алгоритма УА моделированием.

            1.1 Языки регистровых передач (ЯРП)

   В основе моделирования работы ЦУ лежит его описание на каком-
либо специализированном языке. Для решения всех вышеперечис-
ленных задач из всех языков, позволяющих формализовать описа-

                               10

Страницы