Инженеры в Harris Corporation привыкли разрабатывать сложные системы обработки сигналов на ПЛИС в кратчайшие сроки. Чтобы соответствовать строгим требованиям заказчиков и их собственным стандартам  качества, инженеры должны тщательно верифицировать HDL-описания каждой системы, прежде чем осуществить синтез.

Задача

Инженерам Harris требовалось разработать и верифицировать систему обработки сигналов, базирующуюся на нескольких ПЛИС Xilinx® Virtex®-5. В этом трудоёмком процессе по завершении симуляции модели подсистемы в арифметике с фиксированной точкой (fixed-point) команда формировала объемные текстовые файлы, содержащие входные данные симуляции и ожидаемые результаты, и импортировала их в Cadence Incisive.

Решение

Инженеры Harris осуществляли моделирование и симуляцию их систем обработки сигналов в MATLAB. Модель MATLAB являлась универсальным экспериментальным стендом, который они могли использовать интерактивно при ко-симуляции в Cadence Incisive, используя инструмент HDL Verifier.

Результаты

  • Время выполнения функциональной верификации сократилось на 85%.
  • Выполнено 100% всех запланированных тестов.
  • Реализованный проект не содержит ошибок. 

${message}

${message}