Проектирование и проверка на уровне электронной системы - Electronic system-level design and verification

Проектирование и проверка уровня электронных систем (ESL) - это методология электронного проектирования, ориентированная на проблемы более высокого уровня абстракции. Термин « Уровень электронной системы» или « Дизайн ESL» был впервые определен Gartner Dataquest , фирмой , занимающейся EDA-анализом отрасли, 1 февраля 2001 года. В ESL Design and Verification он определяется как «использование соответствующих абстракций для улучшения понимания. о системе и для повышения вероятности успешного внедрения функциональности рентабельным способом ».

Основная предпосылка состоит в том, чтобы смоделировать поведение всей системы, используя язык высокого уровня, такой как C , C ++ , или используя графические инструменты проектирования, основанные на модели. Появляются новые языки, которые позволяют создавать модели на более высоком уровне абстракции, включая языки проектирования систем общего назначения, такие как SysML, а также те, которые являются специфическими для проектирования встроенных систем, например SMDL и SSDL. Быструю и поэтапную реализацию системы можно автоматизировать с помощью инструментов EDA , таких как высокоуровневый синтез и встроенные программные инструменты, хотя сегодня большая часть этого выполняется вручную. ESL также можно реализовать с помощью SystemC в качестве абстрактного языка моделирования .

ESL - это устоявшийся подход во многих ведущих мировых компаниях по разработке систем на кристалле (SoC), который все чаще используется при проектировании систем . От своего зарождения как методологии моделирования алгоритмов без ` ` связей с реализацией '', ESL развивается в набор дополнительных методологий, которые позволяют проектировать, проверять и отладку встроенных систем, и заканчивая аппаратной и программной реализацией пользовательской SoC , системы-на- FPGA , встроенная система и целые многоплатные системы.

Дизайн и проверка - две отдельные дисциплины в рамках этой методологии. Некоторые практики заключаются в разделении этих двух элементов, в то время как другие выступают за более тесную интеграцию между проектированием и верификацией.

Дизайн

Будь то ESL или другие системы, дизайн относится к «параллельному проектированию аппаратных и программных частей электронного продукта».

Инструменты

Существуют различные типы инструментов EDA, используемых для разработки ESL. Ключевым компонентом является виртуальная платформа, которая по сути является симулятором. Виртуальная платформа обычно поддерживает моделирование на уровне транзакций (TLM), когда операции одного компонента над другим моделируются с помощью простого вызова метода между объектами, моделирующими каждый компонент. Эта абстракция дает значительное ускорение по сравнению с точным моделированием цикла, поскольку тысячи событий сетевого уровня в реальной системе могут быть представлены простой передачей указателя, например, для моделирования того, что пакет Ethernet был получен, часто используется SystemC.

Другие инструменты поддерживают импорт и экспорт или взаимодействие с компонентами, смоделированными на других уровнях абстракции. Например, компонент RTL можно преобразовать в модель SystemC с помощью VtoC или Verilator. А синтез высокого уровня можно использовать для преобразования C-моделей компонента в реализацию RTL.

Проверка

При проектировании и проверке ESL проверочное тестирование используется для подтверждения целостности конструкции системы или устройства. Могут применяться многочисленные методы проверки; эти методы испытаний обычно модифицируются или настраиваются, чтобы лучше приспособиться к тестируемой системе или устройству. Общие методы проверки ESL включают, но не ограничиваются:

  • Модульная архитектура
  • Ограниченная генерация случайных стимулов
  • Внедрение ошибок
  • Полные среды моделирования

Верификация часто предоставляется разработчиком системы / устройства, но во многих случаях требуется дополнительная независимая верификация.

Проблемы и критика

Были высказаны некоторые критические замечания по поводу дизайна и проверки ESL. К ним относятся слишком большое внимание к языкам на основе C и проблемы с представлением параллельных процессов. Также можно утверждать, что проектирование и проверка ESL - это подмножество проверки и валидации .

Смотрите также

Рекомендации

дальнейшее чтение

  • Элис С. Паркер ; Йосеф Тират-Гефен; Сухрид А. Вадекар (2007). «Дизайн на системном уровне». В Вай-Кай Чен (ред.). Справочник СБИС (2-е изд.). CRC Press. ISBN 978-0-8493-4199-1. Глава 76.
  • Брайан Бейли; Грант Мартин (2010). Модели ESL и их применение: проектирование и проверка уровня электронных систем на практике . Springer. ISBN 978-1-4419-0964-0.
  • Фрэнк Рогин; Рольф Дрекслер (2010). Отладка на уровне электронной системы . Springer. ISBN 978-90-481-9254-0.
  • Лиминг Сю (2007). Демистификация методологии проектирования схем СБИС: концептуальная таксономия . Wiley-IEEE. ISBN 978-0-470-12742-1.