Научная литература
booksshare.net -> Добавить материал -> Физика -> Александров Е.К. -> "Микропроцессорные системы" -> 494

Микропроцессорные системы - Александров Е.К.

Александров Е.К., Грушвицкий Р.И., Купрянов М.С., Мартынов О.Е. Микропроцессорные системы — Спб.: Политехника, 2002. — 935 c.
ISBN 5-7325-0516-4
Скачать (прямая ссылка): mikroprocessorniesistemi2002.djvu
Предыдущая << 1 .. 488 489 490 491 492 493 < 494 > 495 496 497 498 499 500 .. 528 >> Следующая

процедур схем типов CPLD и FPGA. Для схем типа FPGA помимо
автоматического размещения и трассировки соединений, как правило,
допустимо и ручное вмешательство проектировщика в этот процесс на любых
его этапах. Этой цели служат редакторы топологии (Floorplanner),
позволяющие изменять структуру проекта на кристалле и повышать
производительность проектируемых устройств. А для схем типа CPLD влияние
проектировщика на структуру (а следовательно, и характеристики)
скомпилированной схемы чаще всего возможно только за счет косвенного
воздействия, либо за счет формы описания проекта, либо за счет
установленных перед компиляцией опций. Ручная трассировка выбранных цепей
возможна, например, в топологическом редакторе FPGA Editor, входящем в
состав САПР Foundation фирмы "Xilinx".
Этап 5. Тестирование проекта
Тестирование разработанного устройства, а в мало-мальски сложных проектах
и отдельных его фрагментов - один из важнейших этапов проектирования,
поскольку практически не бывает бездефектных проектов, созданных с
чистого листа. Обнаружение дефектов проекта - сложнейшая задача. Скорость
и тщательность тестирования во многом зависят от искусства разработчика.
В современных САПР наиболее распространено тестирование путем работы с
редакторами временных диаграмм. Эти редакторы делятся на компилирующие и
интерпретирующие. В многооконных САПР интерпретирующего типа легко
отображаются результаты моделирования для текущего момента модельного
времени во всех видах отображения проекта (сигналы в электрических
схемах, в топологии), легко изменить ход эксперимента и состав
отображаемых сигналов. Достоинством компилирующих систем моделирования
является минимизация временных затрат.
Распространение получили два способа генерации внешних относительно
проекта воздействий. Один способ состоит в задании этих воздействий в
форме задания временной последовательности для редактора временных
диаграмм (графический способ задания для компилирующих систем
моделирования или формульный для интерпретирующих). Другой способ,
особенно удобный для использования при языковом задании проекта и обычно
используемый на этапе функциональной верификации проекта, состоит в
написании специальной тестирующей программы. Программы для тестирования в
этом случае строятся на основе архитектурно-поведенческого тела, в
котором проектируемый модуль представлен как структурный компонент, а
генератор воздействия - в поведенческой форме.
В большинстве реальных ЦУ после подачи на них некоторых начальных данных
выполняются несколько повторяющихся циклов. Необходима проверка работы
устройства на нескольких наборах однотипных данных, поэтому можно
рекомендовать следующую структу-
870
БАЗОВЫЕ СВЕДЕНИЯ О ЯЗЫКЕ VHDL
ру программного модуля (процесса), представляющего тестовое воздействие:
генерация сигналов начальной установки, затем реализация двух вложенных
циклов, причем внутренний цикл последовательно формирует тестирующие
сигналы для выполнения действий на одном наборе входных данных, а во
внешнем производится их изменение.
Этап 6. Определение временных характеристик разработанного устройства
Современные САПР имеют внутри себя полную информацию о структуре
проектируемого устройства и временных параметрах всех его компонентов, и
это позволяет автоматизировать процесс вычисления разнообразных временных
характеристик проекта.
Например, в САПР МАХ + PLUS II предусмотрено автоматическое вычисление
трех основных классов временных параметров:
• минимальных и максимальных задержек между источниками (входными
сигналами) и приемниками (выходными сигналами), информация о которых
выдается в виде матрицы задержек;
• максимально возможной производительности устройства (пропускной
способности) в виде максимальной частоты тактирования элементов памяти,
используемых в проекте;
• времен предустановки и выдержки сигналов, гарантирующих надежную работу
схем при фиксации сигналов в синхронных элементах памяти.
Многие САПР позволяют также выделять критические пути передачи и
преобразования информации для схемного или топологического представления
проекта.
Хотя выполнение перечисленных вычислений не гарантирует обнаружения всех
ошибок проектировщика, связанных с аременными процессами в ЦУ, оно
существенно уменьшает число таких ошибок или, как минимум, позволяет
обнаружить в проекте места, опасные с точки зрения сбоев.
Этап 7. Организация натурных экспериментов
Последним этапом проектирования является этап экспериментальной проверки
спроектированного устройства. При всей тщательности выполнения предыдущих
этапов всегда существует далеко не нулевая вероятность того, что в
проекте имеются дефекты, которые могут проявиться на этапе внедрения или
даже штатного использования устройства и повлечь за собою тяжкие
последствия.
Выполнение натурных экспериментов существенно увеличивает вероятность
выпуска бездефектной продукции. Средства ускорения работ на этом этапе и
Предыдущая << 1 .. 488 489 490 491 492 493 < 494 > 495 496 497 498 499 500 .. 528 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed