Версия для печати темы
Форум разработчиков электроники ELECTRONIX.ru _ Образование в области электроники _ Порекомендуйте книги по верификации
Автор: fpga_verilog Mar 31 2018, 03:49
Порекомендуйте книги по верификации проектов FPGA, желательно на английском языке.
Также интересует, какое специализированное ПО используется для разработки и запуска тестов, помимо симуляторов Verilog/SV, и любые книги/сайты, посвящённые этому делу.
Интересует верификация сложных проектов, связанных с обработкой сигналов (возможно, изображений и видео).
Автор: iosifk Mar 31 2018, 07:36
Цитата(fpga_verilog @ Mar 31 2018, 06:49)
Интересует верификация сложных проектов, связанных с обработкой сигналов (возможно, изображений и видео).
При сложных проектах, отладка из проверки "сигналов на диаграмме", превращается в проверку "прохождения данных по проекту". А для этого в симуляции надо гонять достаточно много данных. А потому начинайте изучение с работы с файлами в симуляции. Как читать данные для симуляции из файла, как писать данные из симуляции в файл. Форматы файлов можно взять такими, чтобы их потом можно было легко обрабатывать другими программными инструментами.
Автор: _Ivan_33 Mar 31 2018, 09:00
testbench.in
verifiacationacademy.com
Systemverilog for verification
uvm Primer
Вообще лучше зайти на амазон и посмотреть все книги по этой теме
Автор: fpga_verilog Mar 31 2018, 16:36
Цитата(iosifk @ Mar 31 2018, 08:36)
При сложных проектах, отладка из проверки "сигналов на диаграмме", превращается в проверку "прохождения данных по проекту". А для этого в симуляции надо гонять достаточно много данных. А потому начинайте изучение с работы с файлами в симуляции. Как читать данные для симуляции из файла, как писать данные из симуляции в файл. Форматы файлов можно взять такими, чтобы их потом можно было легко обрабатывать другими программными инструментами.
Я сейчас так и делаю, но я подумал, что, возможно, есть какие-то другие решения.
Автор: petrov Apr 3 2018, 12:24
Цитата(fpga_verilog @ Mar 31 2018, 06:49)
связанных с обработкой сигналов
В симулинке другой подход, разработка в виде модели, fixed point часть работает в окружении double части, никаких файлов, всё в одной среде работает, удобная визуализация сигналов, фокус на задаче, а не на HDL анахронизмах, HDL лишь промежуточный формат для передачи синтезатору, минуя HDL кодинг и HDL симуляцию.
Автор: Amurak Apr 13 2018, 05:44
Цитата(petrov @ Apr 3 2018, 15:24)
В симулинке другой подход, разработка в виде модели, fixed point часть работает в окружении double части, никаких файлов, всё в одной среде работает, удобная визуализация сигналов, фокус на задаче, а не на HDL анахронизмах, HDL лишь промежуточный формат для передачи синтезатору, минуя HDL кодинг и HDL симуляцию.
А в ПЛИС потом как это все запихивать?
Автор: petrov Apr 13 2018, 09:00
Цитата(Amurak @ Apr 13 2018, 08:44)
А в ПЛИС потом как это все запихивать?
Так же как любой HDL запихивается.
Автор: Amurak Apr 13 2018, 15:07
Цитата(petrov @ Apr 13 2018, 12:00)
Так же как любой HDL запихивается.
Сгенерить HDL из симулинка, после чего запихнуть ее в проект ПЛИС?
Автор: petrov Apr 13 2018, 17:53
Цитата(Amurak @ Apr 13 2018, 18:07)
Сгенерить HDL из симулинка, после чего запихнуть ее в проект ПЛИС?
Да.
Автор: Amurak Apr 13 2018, 20:25
Цитата(petrov @ Apr 13 2018, 20:53)
Да.
Не очень удобно в плане контроля версий. И кастомный ЦОС из симулинка особо не погенерируешь.
Автор: petrov Apr 14 2018, 09:25
Цитата(Amurak @ Apr 13 2018, 23:25)
И кастомный ЦОС из симулинка особо не погенерируешь.
Что это означает и чего не хватает для этого?
Автор: Amurak Apr 14 2018, 10:15
Цитата(petrov @ Apr 14 2018, 12:25)
Что это означает и чего не хватает для этого?
Например, если мне нужен децимирующий фильтр с загружаемыми коэффициентами, переменным коэффициентом децимации, использованием предсумматоров для уменьшения количества используемых умножителей, да еще и чтобы работал на частоте 300 МГц, то Simulink вряд ли сможет такое сгенерировать.
Автор: blackfin Apr 14 2018, 10:24
Цитата(Amurak @ Apr 14 2018, 13:15)
.. Simulink вряд ли сможет такое сгенерировать.
Наверное, и FFT Radix-8 Simulink сгенерить не сможет.
Автор: petrov Apr 14 2018, 11:09
Цитата(Amurak @ Apr 14 2018, 13:15)
Например, если мне нужен децимирующий фильтр с загружаемыми коэффициентами, переменным коэффициентом децимации, использованием предсумматоров для уменьшения количества используемых умножителей, да еще и чтобы работал на частоте 300 МГц, то Simulink вряд ли сможет такое сгенерировать.
Никаких проблем нет сделать такое. Все базовае элементы из которых вы делаете это на HDL присутствуют и в симулинке.
Автор: Amurak Apr 14 2018, 11:25
Цитата(petrov @ Apr 14 2018, 14:09)
Никаких проблем нет сделать такое. Все базовае элементы из которых вы делаете это на HDL присутствуют и в симулинке.
То есть на триггерах ее рисовать? Упаси боже, пусть лучше это делает синтезатор.
Автор: petrov Apr 14 2018, 12:05
Цитата(Amurak @ Apr 14 2018, 14:25)
То есть на триггерах ее рисовать? Упаси боже, пусть лучше это делает синтезатор.
Редкость это, чтобы прям вручную на элементах и, или, не нужно было рисовать черезмерно много, и нельзя было использовать групповые операции над векторными сигналами. Даже в этом случае сделал бы сначала упрощенно, а потом оптимизировал на HDL только эту конкретную часть, чем разрабатывать всё на HDL и HDL симуляторах, которые вообще никак не помогают в решении задач ЦОС, а наоборот только мешают.
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)