Verismith: поиск багов в синтезаторах для FPGA - 21 Августа 2021 - FPGA-Systems
Начните статью со страницы мотивации

Verismith: поиск багов в синтезаторах для FPGA

logic synthesis, синтез, синтезатор, Баг, verilog, test case reduction, fuzzing

Автор: c4sedust

Дата: 21.08.2021 18:37

Категория:Заметка

134

0

Любопытная статья 2020 года о поиске багов в синтезаторах логики с помощью инструмента с открытым кодом. Инструмент, разработанный авторами (Yann Herklotz, John Wickerson), генерирует случайный модуль на Verilog. Результат синтеза случайного модуля сверяется с исходным RTL. Авторы использовали свою разработку, чтобы проверить такие инструменты, как Yosys, Vivado, XST и Quartus Prime. В результате во всех инструментах, кроме Quartus Prime, авторы обнаружили несоответствия нетлистов и исходного кода для ряда случаев. Со статьёй можно ознакомиться по ссылке (язык - английский): https://yannherklotz.com/papers/fubfst_fpga2020.pdf

Всего комментариев : 0
avatar

Рекомендуем ознакомиться

Новинки

AXI interconnect IP от компании TrueStream

Подробнее

Xilinx взялся за железные дороги

Подробнее

Руководство

Тренинг по Chisel

Подробнее

Как защитить RTL код от взлома по стандарту IEEE 1735 в Intel® Quartus® Prime Pro

Подробнее

Руководство

Руководство: Цикл статей по сборке PetaLinux для СнК Xilinx Zynq

Подробнее

Последние статьи нашего сообщества

Познавательное

Вычисление двоичного логарифма итерационным методом на ПЛИС

Подробнее

Познавательное

Искусство отладки FPGA: как сократить срок тестирования за счет грамотной разработки

Подробнее

Прочее

Быстрый старт: поднимаем PCIe (xdma)

Подробнее

Среды разработки

Применение System Generator для моделирования HDL-блоков на примере системы автоматической регулировки усиления

Подробнее

Верификация

UVM общие сведения и организация методологии

Подробнее

ЦОС

Реализация базовых компонентов ЦОС : Комплексный умножитель

Подробнее

Познавательное

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (раздел 5)

Подробнее

Общее

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (раздел 4)

Подробнее

Общее

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (разделы 1, 2, 3)

Подробнее
Все статьи

Календарь актуальных событий и мероприятий

Вебинар (состоится )

Портирование свёрточных нейронных сетей на платформу Xilinx Zynq Ultrascale Plus и ускорение их работы

Подробнее

Вебинар (состоится )

Двухдневный семинар по Xilinx Versal от Doulos 15-16.09 или 29-30.09 без оплаты.

Подробнее

Мероприятия (состоится )

Конкурс от Xlinix "Adaptive Computing Challenge 2021"

Подробнее

Мероприятия (состоится 14-16 сен 2021)

Сколковская школа синтеза цифровых схем снова открывает свои двери!

Подробнее

Вебинар (состоится 2 сен 2021)

Что нового в OSVVM?

Подробнее

Вебинар (состоится 7-сен-2021)

SoM-модули Kria – ускорение и удешевление разработки устройств с машинным зрением и ИИ. Теория и практика.

Подробнее

Мероприятия (состоится )

Российский Форум Микроэлектроника-2021, 3–9 октября 2021 года, Алушта

Подробнее

Мероприятия (состоится )

Synopsys Verification Day 2021

Подробнее

Мероприятия (состоится )

Серия бесплатных тренингов по FPGA от Microchip

Подробнее

Мероприятия (состоится )

Конференция FPGA Verification Day 2021

Подробнее
Все предстоящие события

FPGA-Systems – это живое, постоянно обновляемое и растущее сообщество.
Хочешь быть в курсе всех новостей и актуальных событий в области?
Подпишись на рассылку