Jump to content

    

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

Порекомендуйте книги по верификации проектов FPGA, желательно на английском языке.

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

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

Edited by fpga_verilog

Share this post


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

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

 

Share this post


Link to post
Share on other sites

testbench.in

verifiacationacademy.com

Systemverilog for verification

 

uvm Primer

 

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

Share this post


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

 

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

Edited by fpga_verilog

Share this post


Link to post
Share on other sites
связанных с обработкой сигналов

 

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

 

Share this post


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

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

Share this post


Link to post
Share on other sites
А в ПЛИС потом как это все запихивать?

 

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

Share this post


Link to post
Share on other sites
Так же как любой HDL запихивается.

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

Share this post


Link to post
Share on other sites
Сгенерить HDL из симулинка, после чего запихнуть ее в проект ПЛИС?

 

Да.

Share this post


Link to post
Share on other sites
Да.

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

Share this post


Link to post
Share on other sites
И кастомный ЦОС из симулинка особо не погенерируешь.

 

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

Share this post


Link to post
Share on other sites
Что это означает и чего не хватает для этого?

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

Share this post


Link to post
Share on other sites
.. Simulink вряд ли сможет такое сгенерировать.

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

Share this post


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

 

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

Share this post


Link to post
Share on other sites
Никаких проблем нет сделать такое. Все базовае элементы из которых вы делаете это на HDL присутствуют и в симулинке.

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

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this