ПОИСК Статьи Чертежи Таблицы Верификация блоков интеллектуальной собственности из "Проектирование на ПЛИС архитектура, средства и методы " С увеличением сложности устройств все больше ресурсов и времени уходит на проверку их функциональности. Такая проверка включает в себя реализацию проверочной среды, создание набора тестов, выполнение логического моделирования, анализ результатов для выявления и выделения проблем и так далее. На практике, на контроль современных высокотехнологичных однокристальных устройств, ASI и ПЛИС, может потребоваться свыше 70% времени, потраченного с момента разработки начальной концепции и до окончательной реализации. [c.259] Помочь в решении этой проблемы может верификация блоков интеллектуальной собственности (верификация IP). Идея состоит в том, что устройство, которое на этапе верификации называют проверяемым устройством, обычно взаимодействует с окружающим миром, используя стандартные интерфейсы и протоколы. Кроме того, проверяемое устройство обычно общается с микропроцессорами, арбитрами, контроллерами, периферийными устройствами и т. д. [c.259] В большинстве случае для функциональной проверки используется стандартная система событийного моделирования. Один из способов тестирования проверяемого устройства заключается в создании набора тестов, которые точно описывают сигналы на уровне битовых значений, поступающих на вход устройства и появляющихся на его выходах. Однако в связи со сложностью современных протоколов, применяемых при работе интерфейсов и шин, разработать подобные тесты для большинства устройств просто невозможно. [c.259] Другой метод тестирования предполагает использование RTL-mo-делей всех внешних устройств, формирующих систему Однако многие из этих устройств запатентованы, и их RTL-модели могут быть недоступны для использования. Более того, моделирование всей системы с использованием полнофункциональных моделей всех процессоров и устройств ввода/вывода может потребовать значительных временных и вычислительных ресурсов. [c.260] Функциональные модели шин (ФМШ) процессоров. [c.260] Функциональная модель шины не копирует полную функциональность представляемого устройства, вместо этого она эмулирует способ его работы на уровне интерфейса шины путем генерации и приёма транзакций. В контексте рассматриваемого материала термин транзакция относится к высокоуровневому событию на шине, например к выполнению цикла чтения или записи. Среда проверки, или испытательный стенд, могут выдавать команды для ФМШ на выполнение транзакций, например чтения содержимого памяти. После этого ФМШ генерирует сложный сигнал, состоящий из битов ( битовое жонглирование ), поступающий на интерфейс проверяемого устройства. [c.260] Аналогично, когда проверяемое устройство отвечает на задающее воздействие каким-либо сложным сигналом, другая ФМШ, или это может быть та же модель, интерпретирует эти сигналы и переводит их в соответствующую высокоуровневую транзакцию. [c.260] Битовое жонглирование — программирование на уровне машинных кодов с манипулированием битами, флагами, полубайтами и прочими элементами данных, размером меньше одного байта. — Прим. пер. [c.260] Вернуться к основной статье