Инструментальные средства предназначены для выполнения верификации и тестирования конфигураций ПЛИС авиационного и иного назначения в рамках стандарта DO-254 (КТ-254)
Область применения
- верификация конфигураций ПЛИС посредством подачи на вход ПЛИС векторов входных сигналов и сравнения векторов выходных сигналов с эталонными;
- нагрузочное тестирование конфигураций ПЛИС.
Основные возможности средств аппаратной верификации
- поддержка ПЛИС с частотой работы до 200 МГц и количеством контактов до 400 шт.;
- поддержка ПЛИС типов CPLD и FPGA;
- установка верифицируемых ПЛИС на быстросъемных платах-мезонинах;
- загрузка конфигурации ПЛИС через интерфейс JTAG;
- настройка питания банков ПЛИС;
- подача на входы ПЛИС тестовой последовательности векторов входных сигналов из локальной памяти платы-носителя;
- запись векторов выходных сигналов с выходов ПЛИС в локальную память платы-носителя;
- поддержка двунаправленных шин данных в составе ПЛИС;
- поставка в трех исполнениях: плата, модуль, станция аппаратной верификации.
Программное обеспечение поддержки аппаратной верификации
- поддержка операционных систем Windows и Linux;
- загрузка на плату-носитель тестовых последовательностей векторов, выгрузка полученных от ПЛИС выходных векторов;
- графическое отображение последовательностей входных и выходных векторов;
- графическое отображение результатов сравнения выходных векторов с эталонными (полученными от программного симулятора);
- автоматическое сравнение полученных от ПЛИС выходных векторов с эталонными, в рамках заданных допусков;
- пакетный режим выполнения тестирования;
- квалификация ПО сравнения выходных векторов с эталонными в соответствии с Р-330, уровень TQL-5.