Моделирование проекта на базе ПЛИС

в данном разделе показано, как создавать исходный файл тестовых спецификаций для моделирования проекта, основанного на применении программируемых логических интегральных схем (ПЛИС). Тестовые векторы определяют ожидаемое функционирование ПЛИС посредством определения выходных значений как функций входных значений. Тестовые векторы используются и в процессе моделирования логической схемы, который производится перед программированием ПЛИС, и для функционального тестирования микросхемы ПЛИС после ее программирования. Программа моделирования ПЛИС способна генерировать совместимые с JEDEC форматом загружаемые тестовые векторы, которые добавляются в .JED файл, созданный при компиляции.

Входные данные для программы моделирования

Входными данными для программы моделирования являются данные из исходного файла тестовьпс спецификаций .SI. Он содержит функциональное описание требований, которым должна удовлетворять ПЛИС в схеме.

Задающие сигналы на входных выводах и тестовые значения на выходных выводах, введенные в исходном файле .SI, сравниваются с действительными значениями, вычисленными с помощью логических выражений, определенных в исходном файле проекта на базе ПЛИС с расширением .PLD. Эти вычисленные значения помещаются в файл абсолютных значений с расширением .ABS, который создается в процессе компиляции, если это задано в настройках. Такой файл должен быть создан во время компиляции до запуска программы моделирования.

Результаты моделирования

Результатами моделирования являются:

• листинг программы моделирования;

• векторы, добавляемые в загружаемый файл прошивки ПЛИС формата JEDEC.

Выходной файл-листинг с расширением .SO содержит результаты процесса моделирования, его имя совпадает с именем файла тестовых спецификаций.

Файл-листинг имеет обычный ASCH формат. Все данные из заголовка переносятся в файл-листинг с добавлением соответствующим образом помеченных ошибок в этом заголовке. Каждому из векторов присваивается индивидуальный номер. Все закончившиеся неудачей выходные тесты помечаются фактическим (определяемым программой моделирования) выходным значением. Все переменные из ошибочного выражения помещаются в список вместе с ожидаемыми (заданными пользователем) значениями. Все неправильные или не совпавшие с ожидаемыми тестовые значения помещаются в список вместе с соответствующими сообщениями об ошибках.

Результаты моделирования могут быть показаны на экране в виде набора временных диаграмм сигналов. Для этого необходимо сделать двойной щелчок мыши на файле с расширением .SO, после чего он откроется редактором сигналов ПЛИС (PLD Waveform Editor).

Программа моделирования добавляет тестовые векторы в существующий загружаемый файл прошивки ПЛИС формата JEDEC (файл с расширением .JED), созданный во время компиляции. Для его создания необходимо включить опцию JEDEC во вкладке Formats, расположенной в диалоговом окне Configure PLD.

Создание исходного файла тестовых спецификаций

Файл тестовых спецификаций .Si имеет ASCU формат и создается с помощью любого текстового редактора. Его имя за исключением расширения совпадает с именем соответствующего исходного файла описания логической схемы на языке CUPL. Файл тестовых спецификаций должен содержать следующую информацию:

• заголовок;

• комментарии;

• порядок переменных;

• основания систем исчисления;

• тестовые векторы;

• директивы программе моделирования.

Заголовок

Информация в заголовке должна быть идентична информации в соответствующем файле описания логической схемы на языке CUPL (.PLD). При несовпадении данных выдается предупреждающее сообщение о том, что статус логических выражений может противоречить текущим тестовым векторам, находящимся в файле тестовых спецификаций.

Ниже перечислены ключевые слова, используемые в заголовке:

PARTNO NAME

REVISION DATE

DESIGNER

COMPANY

ASSEMBLY

LOCATION

DEVICE

FORMAT

Наиболее простой способ создания файла тестовых спецификаций - копирование заголовочной информации из соответствующего исходного CUPL файла.

Определение микросхемы

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