Высокоуровневое проектирование встраиваемых систем. Часть 1. Платунов А.Е - 36 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

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

Рубрика: 

35
CoDesign предлагает следующие этапы технологии проектирования:
• Разработка требований;
• Разработка модели поведения системы на базе формального подхода (сети
Петри, CFSM и т.д.);
• Формальный анализ модели, верификация, симуляция, уточнение
требований;
• Декомпозиция на аппаратную и программную составляющую;
• Выдача ТЗ для разработчиков программной и аппаратной составляющих или
автоматическая генерация
кода.
Переход к разделению на программную и аппаратную компоненту может
происходить по целому ряду методик:
• Simulated annealing algorithm (Henkel, Ernst);
• All hardware solution (Gupta, De Micheli);
• Алгоритм динамического программирования, основанный на алгоритме
Ранца (Jantsch);
• Алгоритм динамического программирования PACE (LYCOS) [56].
В целом эти методики представляют собой последовательность синтеза и
анализа вариантов разделения. В некоторых методиках происходит переход от
чисто программной
к аппаратной реализации (например, Simulated annealing
algorithm), в некоторых от аппаратной к программной (например, в All hardware
solutions).
После разбиения на аппаратные и программные компоненты в системах
CoDesign осуществляется автоматическая генерация кода из FSM в язык C и
VHDL (или аналогичные). В ряде систем, в качестве примитивов программной
системы используют классические механизмы, используемые в ОСРВ.
Примерами инструментальных средств
сопряженного проектирования
являются:
• Cierto VCC – система комплексного проектирования в технологии CO-
DESIGN от Cadence Design System;
• COSYMA – универсальная система для оценки и синтеза аппаратно–
программных компонент, Баруншвейского университета в Германии;
• LOCOS – система синтеза и декомпозиции графовых потоков данных для
аппаратно-программных системных компонент, Датского технического
университета;
• POLIS – универсальная система для проектирования гетерогенных
аппаратно-программных
компонент, совместный проект калифорнийского

Страницы