Открыть библиотеку проверки
Открытая библиотека проверки (OVL) — это библиотека средств проверки свойств описаний цифровых схем, написанных на популярных языках описания оборудования (HDL) . OVL в настоящее время поддерживается Accellera .
Приложения
[ редактировать ]OVL работает путем размещения модулей или компонентов, проверяющих определенные свойства схемы, рядом с обычными модулями или компонентами. Эти специальные модули называются шашками и подключаются к сигналам схемы через порты . Некоторые аспекты функциональности чекера можно изменить, настроив параметры чекера . Типичные свойства, проверяемые проверяющими OVL, включают:
- условие, которое должно всегда соблюдаться,
- последовательность условий, которые должны быть выполнены,
- состояние, которое никогда не должно произойти,
- правильное значение данных (четное, нечетное, в пределах диапазона и т. д.),
- правильное изменение значения (например, увеличение или уменьшение в пределах указанного диапазона),
- правильное кодирование данных (например , «горячее» или «холодное »)
- правильное время события (в пределах заданного количества тактов или в пределах окна, созданного триггерными событиями),
- действительный протокол передачи данных,
- допустимое поведение популярных строительных блоков (например, FIFO ).
В зависимости от выбранных параметров средства проверки OVL могут работать как средства проверки утверждений, предположений или точек покрытия. Основным источником популярности OVL является тот факт, что он позволяет внедрять концепции проверки высокого уровня в существующие или новые проекты, не требуя нового языка, например, разработчику, имеющему доступ к инструментам Verilog, не нужен новый язык, чтобы начать использовать проверку свойств с помощью OVL.
Поддерживаемые языки
[ редактировать ]Хотя первые версии OVL поддерживали Verilog и VHDL , последние версии поддерживают (в алфавитном порядке):
- PSL – версия Verilog
- СистемаVerilog
- Верилог
- VHDL
В зависимости от спроса может быть добавлена поддержка еще двух языков: PSL — VHDL и SystemC .
Внешние ссылки
[ редактировать ]- Раздел OVL на странице Accellera [1]