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