Верификация и моделирование Questa

Questa Verification Solution от Mentor Graphics

Questa от Siemens EDA, входящей в состав Siemens Digital Industries Software, автоматизирует проверку и отладку сложных SoC и FPGA, значительно повышая производительность и помогая компаниям более эффективно управлять ресурсами. Лучшие в своем классе технологии Questa максимизируют эффективность проверки на уровне блока, подсистемы и системы.

Изначально, линейка продуктов под общим названием Questa была разработана компанией Mentor Graphics. Основанная в 1981 году, компания была приобретена Siemens в 2017 году. Тогда она была переименована в «Mentor, A Siemens Business». В 2021 году ее вновь переименовали – в Siemens EDA.

Единая верификация – от симуляции до эмуляции

Questa Verification Solution – это набор технологий, методологий и библиотек для современных проектов ASIC и FPGA. Questa продолжает развиваться в ответ на растущую сложность конструкций SoC. Помимо огромных размеров проектов, включение нескольких встроенных процессоров и усовершенствованных систем межсоединений, увеличение объема программного обеспечения и конфигурируемость, требуемая для многоплатформенных проектов, требуют решения для функциональной проверки, объединяющего широкий арсенал решений для проверки.

Questa Verification: планирование, распределение и управление

Ключ к успеху проверки – разложить проблему на части и использовать лучшее решение для каждого аспекта системы. Это придает огромное значение плану проверки и способности собирать метрики на протяжении всего процесса и по всем задачам проверки, чтобы отслеживать прогресс в сравнении с планом, эффективно распределять ресурсы и управлять ими, а также выявлять тенденции по мере того, как проект идет по графику. Программное обеспечение стало основным компонентом функциональности системы SoC, создавая новые требования для повторного использования проверки системы, а также необходимость проверки и отладки системы. В то время как программное тестирование интеграции SoC и базовой функциональности, а также проверка программного обеспечения драйвера низкого уровня может быть выполнено в моделировании, длинные и сложные последовательности, которые проверяют функциональность системы, требуют ускорения с полной прозрачностью отладки.

Questa позволяет применять проверку CDC, формальную проверку, проверку смешанных сигналов, переносимые стимулы и другие мощные технологии, чтобы максимизировать эффективность проверки на уровне блоков и подсистем, чтобы проверка на уровне системы могла сосредоточиться на функциональности системы, включая программное обеспечение, не беспокоясь о низкоуровневых ошибках, снижающих вашу продуктивность. Никто не хочет идти на компромисс с качеством продукции. Однако в проектах SoC преобладает время выхода на рынок. Чтобы обеспечить качество в соответствии с графиком, необходимо сократить время для достижения целей по охвату и качеству, а также повысить производительность отладки.

Questa Verification

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

Преимущества Questa Solution

Ведущие решения в отрасли

  • Портативный стимул и закрытие покрытия
  • Интегрированное управление верификацией и анализ
  • Унифицированная отладка с высокой производительностью/емкостью
  • Проверка с учетом мощности

Лучшие в своем классе

  • Высокопроизводительный мультиязычный симулятор
  • Формальные приложения и формальная проверка
  • Совместная проверка HW/SW
  • Методология UVM

Корпоративная платформа

  • Единая верификация от моделирования до эмуляции
  • Ускорение моделирования с помощью Veloce TBX для увеличения производительности до 1000 раз
  • База данных общего покрытия и потоки
  • Единый Verification IP для ускорения и повторного использования

Если у вас есть какие‑либо вопросы по технологиям или наших услугам – воспользуйтесь формой ниже.


Оставить заявку