Сразу после включения ПЛИС, происходит сброс всех триггеров. Таким образом, перед подачей первого тестового вектора содержимого каждого триггера известно [2]. После включения БМК состояние триггеров не определено, поэтому, после подачи тестовых векторов, реакция схемы становится не предсказуемой на протяжении нескольких тестов. Триггер может сохранять неопределённость на выходе на протяжении всего теста. Для устранения данной проблемы, конвертор устанавливает цепи сброса для всех триггеров. На рис.1 показана исходная схема подключения для синхронного D - триггера из стандартной библиотеки Max+Plus II [3].

Рис 1. Исходное подключение триггера.

Конвертор устанавливает цепь сброса, которая включается только перед началом тестирования для обнуления содержимого всех триггеров. На рис.2. показано подключение цепи сброса для данного D - триггера.

Рис.2. Подключение триггера после конвертирования.

На схеме обозначены следующие выводы:

1) Q - выход триггера;

2) Circuit_CLRN и Circuit_PRN - входы для сброса и установки триггера;

3) Data - вход данных триггера;

4) Clock - вход синхронизации, по которому работает триггер;

5) Reset - вход сброса, единый для всех триггеров.

Если Reset =1, то CLRN=0, PRN=1 и сигналы Circuit_CLRN, Circuit_PRN игнорируются, т.е. триггер сбрасывается в нулевое значение. При Reset=0 цепь синхронизации отключается, и сигналы Circuit_CLRN и Circuit_PRN проходят на триггер.

Устранение конфликтов источников для двунаправленных выходов

На рис.3. показан фрагмент схемы с двунаправленными выводами.

Рис.3. Схема управления двунаправленным выводом.

Элемент с тремя состояниями TRI при сигнале OE=1 пропускает сигнал с входа Input на двунаправленный вывод Inout и выход Output. При сигнале OE=0 цепь входного сигнала Input отключена и сигнал с двунаправленного вывода Inout поступает на выход Output. Таким образом, с помощью элемента TRI в Max+Plus II осуществляется управление двунаправленным выводом. В Max+Plus II такое подсоединение не вызывает особых проблем, но в схеме полученной после конвертирования в базис БМК, в точке А. могут происходить конфликты источников сигналов. Выводов Input, Output и Inout в одной связи может быть несколько, поэтому и точек, где появляются конфликты сигналов, может быть очень много. Причем выводы могут быть разделены большим числом различных вентилей и функциональных блоков, число которых может достигать несколько тысяч. На рис.4 показан изначальный фрагмент схемы в базисе ПЛИС, в котором конвертор устраняет возможные конфликты источников при переводе проекта.

Рис.4. Исходный фрагмент схемы с двунаправленными выводами в общем, виде до конвертирования.

Для сокращения размеров рисунка, многоточием обозначаются элементы аналогичные изображенным с индексами 1,K,Q. Cir - произвольный фрагмент схемы разделяющий рассматриваемые выводы, её устройство на имеет принципиального значения. Эти схемы не рассматриваются конвертором при замене элементов TRI на схему TRI-BMC. Номера 1,K,Q после имени обозначают, что данные элементы аналогичны друг другу.

Точки A (1. K. Q) показывают места возможных конфликтов источников входа с двунаправленным выводом.

Точки B (1. K. Q) показывают места возможных конфликтов источников входа с выходом.

Конвертор устраняет конфликты источников, путем замены элементов TRI на схему TRI-BMC, которая управляет режимом двунаправленного вывода. Рассмотрим алгоритм модификации схемы:

1) поиск всех двунаправленных выводов Inout (1. K. Q) в конкретной связи;

2) поиск точек A (1. K. Q) и B (1. K. Q), в которых возможны конфликты;

3) вычисление выходных связей проходящих через точки B (1. K. Q);

4) вычисление количества элементов TRI и способа их подключения;

5) замена элементов TRI на TRI-BMC с соответствующим подключением выводов.

На рис.5. представлен фрагмент схемы после модификации по данному алгоритму.

Рис.5. Конечный фрагмент схемы с двунаправленными выводами в общем виде, после конвертирования.

Элемент TRI-BMC разрабатывается в базисе БМК, под конкретную библиотеку системы моделирования Невод. Принцип действия данного элемента состоит в управлении двунаправленным выводом путём разделения входящих потоков от вывода Input и вывода Inout работающего в режиме входа.

Сокращение количества вентилей в структуре схемы после конвертирования

Экспорт схемы в формат EDIF из программы Max+Plus II имеет множество недостатков:

1) отсутствие сохранения всей иерархии проекта, для оптимизации процесса компиляции в Max+Plus II [4];

2) не соответствие структуры в исходном проекте Max+Plus II и в экспортном файле в формате EDIF. Не соответствие происходит т.к. Max+Plus II разбивает макромодули до уровня реализации схемы на базисе аппаратуры ПЛИС;

3) большой коэффициент избыточности по числу вентилей в экспортной структуре по сравнению с аналогичной схемой сделанной сразу в базисе БМК.

Остановимся на последнем недостатке подробнее.

На рис.6. показан типичный фрагмент схемы в формате EDIF после экспорта из Max+Plus II, который выполняет логику "ИЛИ" на элементе OR2. Cir - любая схема не представляющая интерес в данном случае. Элементы DELAY,AND1,OR1 и XOR2 не влияют на логику работы данной схемы. Поэтому их можно удалять из схемы, но при этом надо учитывать появившиеся "гонки" сигналов.

программируемое логическое устройство триггер

Рис.6. Фрагмент схемы EDIF после экспорта структуры.

На рис.7. показан типичный фрагмент схемы, которыйсделан сразу в формате EDIF, без использования Max+Plus II. Данная схема также реализует логику "ИЛИ", но при этом число используемых вентилей на порядок меньше. Поэтому и ячеек БМК, необходимых для данного фрагмента схемы тоже будет на порядок меньше.

Рис. 7. Фрагмент схемы EDIF разработанный без программы Maxplus.

В процессе конвертирования структуры EDIF происходит упрощение многовходовых вентилей у которых часть выводов подключается на шину земли и питания. Поясним процесс упрощения. Пусть Е (К) - исходный многовходовый элемент с К входами, а Е (С) - преобразованный элемент с С входами. Если у элемента Е (К) существует А входов подключённых на землю или питание и эти входы не влияют на логику элемента, то С=К-А. Если А>=К-1, то С=0 или С=1, тогда элемент Е (С) удаляется из схемы. На пример, имеется элемент ИЛИ (10) у которого три входа подключены на землю, тогда этот элемент можно преобразовать к ИЛИ (7).

Попутно происходит удаление элементов с одним входом, которые не влияют не логику работы схемы. Иными словами, конвертор ConvChip производит "чистку" проекта от тех вентилей, которые практически не приводят к "гонкам" сигналов. Затем проект в базисе БМК моделируется. Затем проект в базисе БМК моделируется повторно. Если конвертор исправить "гонки" не в состоянии, то разработчик задаёт конвертору для анализа необходимые ветви схемы и исправляет "гонки" вручную. Как показывает практика, такая "чистка" сокращает изначальную схему в полтора - два раза, что существенно сказывается на экономии ресурсов кристалла БМК.

Основные опции и настройки программ ConvChip

Конвертор ConvChip содержит более двух сот различных опций, которые позволяют настраивать перевод проекта схемы под конкретные требования. Рассмотрим основные группы настроек:

1) настройки формата конечных файлов;

2) настройки КИО;

3) настройки тестовых векторов;

4) настройки структуры схемы;

5) общие настройки конвертора.

Остановимся подробнее на каждом пункте.

1) При экспорте проекта схемы из Max+Plus II, происходит переименование шин состоящих из нескольких выводов, имён связей, имён элементов и т.д. Иными словами, имена которые задал разработчик в системе проектирования, могут иметь другие названия в файле экспортных временных диаграмм тестовых векторов и в структуре схемы на языке EDIF. Ситуация усложняется ещё тем, что формат имён выводов в системе моделирования Невод, которая использует конвертированный проект в базисе БМК, имеет другие правила построения имён идентификаторов. На пример, одной шине выводов может соответствовать четыре имени:

· исходное имя в Max+Plus II;

· имя в EDIF файле;

· имя в тесте схемы;

· имя в системе моделирования.

Опции данной группы позволяют настроить тип выводов схемы, имён связей и элементов. В данную группу также входят функции, которые изменяют формат конвертирования файлов в базис БМК.

2) Формирование временной сетки обеспечивающей построения тестов с постоянным периодом подачи входных воздействий, т.е. по правилам КИО для БМК. В зависимости от выбранного корпуса микросхемы указывается напряжение питания, максимально возможное количество выводов, номера выводов земли и питания, данные для карты заказа и т.д.

3) Разработчик может для исходной схемы в базисе ПЛИС создавать несколько файлов тестов, причём все они могут содержать различные выводы. Настройки данной группы, в зависимости от требований к формату тестов, могут изменять систему исчисления тестовых элементарных проверок, доопределять в тесте не заданные выводы, разбивать вектора на логически законченные блоки, вводить комментарии и т.д. Если в тесте заданы внутренние точки, то при необходимости конвертор их либо устраняет, либо преобразует к определённому виду.

4) Настройки данного типа позволяют модифицировать структуру схемы. Виды модификаций зависят от требований системы моделирования к структуре схемы, а также от различных проблем появляющихся после перевода проекта, в базис БМК. Все модификации можно задать с помощью опций конвертора, либо их написать на языке микроопераций, который встроен в конвертор. На пример, требуется ввести цепи сброса триггеров в схеме. Для этого включается соответствующая опция, либо пишутся следующие команды для каждого триггера:

#CreateElem RESDFF: RESDFF_1; // объявление элемента сброса

#ReplacePin DFF_1/PRN=RESDFF_1/R_PRNCIR; // замена выводов триггера DFF_1

#ReplacePin DFF_1/CLRN=RESDFF_1/R_CLRNCIR; // замена выводов триггера DFF_1

#CreateNet DFF_1/PRN,RESDFF_1/R_PRN; // создание новой связи для триггера

#CreateNet DFF_1/CLRN,RESDFF_1/R_CLRN; // создание новой связи для триггера

#CreateElem AMPLIFIER: AMPLIFIERLev1_1; // создание усилителя сигнала

#CreateNet AMPLIFIERLev1_1/Y,RESDFF_1/R_RES; // подключение усилителя

#CreateNet PinResForDFF,AMPLIFIERLev1_1/IN1; // создание вывода схемы для сброса

Здесь после знака # пишется соответствующая команда, после чего указываются операнды для данной команды.

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

5) К данной группе относятся функции поиска, позволяющие отыскивать фрагмент схемы между двумя заданными выводами, для последующего анализа. Также относятся опции необходимые для создания отчётов о процессе конвертирования, типе выявленных ошибок в схеме и т.д.

Существует категория ошибок, которые не влияют на процесс моделирования конвертированной схемы в базисе БМК, но такие ошибки приведут к неопределённому поведению схемы, на этапе её изготовления [5]. Примером таких ошибок является нарушение нагрузочных способностей элементов. Для устранения этой ошибки конвертор ConvChip автоматически находит "перегрузки" и формирует цепь усиления сигнала. Естественно, что на логику процесса моделирования такая ошибка не повлияет, но реальная схема может работать не корректно.

Заключение