Порекомендуйте книги по верификации Опции

[fpga_verilog]

Порекомендуйте книги по верификации проектов FPGA, желательно на английском языке.
Также интересует, какое специализированное ПО используется для разработки и запуска тестов, помимо симуляторов Verilog/SV, и любые книги/сайты, посвящённые этому делу.
Интересует верификация сложных проектов, связанных с обработкой сигналов (возможно, изображений и видео).

Сообщение отредактировал fpga_verilog - Mar 31 2018, 03:49

[iosifk]

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

При сложных проектах, отладка из проверки "сигналов на диаграмме", превращается в проверку "прохождения данных по проекту". А для этого в симуляции надо гонять достаточно много данных. А потому начинайте изучение с работы с файлами в симуляции. Как читать данные для симуляции из файла, как писать данные из симуляции в файл. Форматы файлов можно взять такими, чтобы их потом можно было легко обрабатывать другими программными инструментами.

[_Ivan_33]

testbench.in
verifiacationacademy.com
Systemverilog for verification

uvm Primer

Вообще лучше зайти на амазон и посмотреть все книги по этой теме

[fpga_verilog]

При сложных проектах, отладка из проверки "сигналов на диаграмме", превращается в проверку "прохождения данных по проекту". А для этого в симуляции надо гонять достаточно много данных. А потому начинайте изучение с работы с файлами в симуляции. Как читать данные для симуляции из файла, как писать данные из симуляции в файл. Форматы файлов можно взять такими, чтобы их потом можно было легко обрабатывать другими программными инструментами.

Я сейчас так и делаю, но я подумал, что, возможно, есть какие-то другие решения.

Сообщение отредактировал fpga_verilog - Mar 31 2018, 16:41

[petrov]

связанных с обработкой сигналов

В симулинке другой подход, разработка в виде модели, fixed point часть работает в окружении double части, никаких файлов, всё в одной среде работает, удобная визуализация сигналов, фокус на задаче, а не на HDL анахронизмах, HDL лишь промежуточный формат для передачи синтезатору, минуя HDL кодинг и HDL симуляцию.

[Amurak]

В симулинке другой подход, разработка в виде модели, fixed point часть работает в окружении double части, никаких файлов, всё в одной среде работает, удобная визуализация сигналов, фокус на задаче, а не на HDL анахронизмах, HDL лишь промежуточный формат для передачи синтезатору, минуя HDL кодинг и HDL симуляцию.

А в ПЛИС потом как это все запихивать?

[petrov]

А в ПЛИС потом как это все запихивать?

Так же как любой HDL запихивается.

[Amurak]

Так же как любой HDL запихивается.

Сгенерить HDL из симулинка, после чего запихнуть ее в проект ПЛИС?

[petrov]

Сгенерить HDL из симулинка, после чего запихнуть ее в проект ПЛИС?

Да.

[Amurak]

Да.

Не очень удобно в плане контроля версий. И кастомный ЦОС из симулинка особо не погенерируешь.

[petrov]

И кастомный ЦОС из симулинка особо не погенерируешь.

Что это означает и чего не хватает для этого?

[Amurak]

Что это означает и чего не хватает для этого?

Например, если мне нужен децимирующий фильтр с загружаемыми коэффициентами, переменным коэффициентом децимации, использованием предсумматоров для уменьшения количества используемых умножителей, да еще и чтобы работал на частоте 300 МГц, то Simulink вряд ли сможет такое сгенерировать.

[blackfin]

.. Simulink вряд ли сможет такое сгенерировать.

Наверное, и FFT Radix-8 Simulink сгенерить не сможет.

[petrov]

Например, если мне нужен децимирующий фильтр с загружаемыми коэффициентами, переменным коэффициентом децимации, использованием предсумматоров для уменьшения количества используемых умножителей, да еще и чтобы работал на частоте 300 МГц, то Simulink вряд ли сможет такое сгенерировать.

Никаких проблем нет сделать такое. Все базовае элементы из которых вы делаете это на HDL присутствуют и в симулинке.

[Amurak]

Никаких проблем нет сделать такое. Все базовае элементы из которых вы делаете это на HDL присутствуют и в симулинке.

То есть на триггерах ее рисовать? Упаси боже, пусть лучше это делает синтезатор.