Проектирование ПЛИС
DO-254 / КТ-254
Проверка соответствия проектов ПЛИС (FPGA) исходным требованиям при проектировании бортовой аппаратуры Стандарт RTCA / DO-254 (и его российский аналог КТ-254) является средством обеспечения соответствия для разработки бортового электронного оборудования, содержащего FPGA, PLD и ASIC. Проектирование и проверка ПЛИС в соответствии с руководящими принципами DO-254 — это сложная задача, требующая специальных функций и возможностей инструментов проектирования,…
Riviera-PRO
Основные возможности и преимущества Высокопроизводительное моделирование Мощные алгоритмы оптимизации моделирования. Лидирующая на рынке эффективность и емкость моделирования Поддержка самых последних верификационных библиотек, включая Universal Verification Methodology (UVM) Продвинутая отладка Интегрированная мультиязычная среда отладки Инструменты UVM Toolbox, UVM graph, Class Viewer, Transaction streams and data Встроенные инструменты отладки Всесторонняя верификация на основе подтверждения корректности (SVA и…
Spec-TRACER
Основные характеристики Ввод требований к проекту ПЛИС Автоматический импорт из MS Word или Excel через стили заголовков или теги, включая идентификатор требования, имя, описание, таблицы и изображения Прямая интеграция с DOORS (функции импорта / экспорта) Определяемые пользователем атрибуты требований для предоставления контекста характеристикам требований, статусу и важности Сравнение и отслеживание нескольких версий требований Базисные…
Alint-PRO
Основные характеристики Анализ цепей клоков и сбросов Предотвращение пост-RTL и пост-синтезных несоответствий моделирования Проверка правильности описания FSM Графическое исследование выделенных автоматов и выявленных проблем с автоматами Переносимость и повторное использование кода Обширные проверки CDC и RDC с плагином правила ALDEC_CDC Усовершенствованная среда отладки CDC и RDC Просмотр схем DFT проверки Поддержка SDC™ Расширение ограничений проекта…
