Услуга верификации
Для публичного репозитория вы даёте URL и больше ничего — проверки идут открыто, и отчёт публикуется здесь, чем бы дело ни кончилось. Приватный прогон заводится напрямую. В обоих случаях на выходе подписанный отчёт: побитовое соответствие независимой модели, достигнутый тайминг, ресурсы и битстрим, на полностью открытом тулчейне, так что любая цифра воспроизводима.
Каждый узел вашего тракта данных сверен с независимой эталонной моделью на векторах с известным ответом. Расхождение спецификации и RTL всплывает до синтеза, а не после тейпаута.
Достигнутая частота, запас, расход LUT/FF/BRAM/DSP и проверка на отсутствие защёлок — замер на живом Artix-7, а не оценка из отчёта.
Битстрим, тест-векторы, логи и точные версии тулчейна, чтобы любой мог прогнать весь флоу заново сам.
Yosys, nextpnr-xilinx, prjxray, openFPGALoader, iverilog. Ничто в отчёте не зависит от проприетарной лицензии, которую пришлось бы покупать.
И говорите, что для неё значит «верно».
Пишется от операции, никогда от вашего RTL: тестбенч, выведенный из тех же предпосылок, что и дизайн, соглашается с его же багами.
Измеренные числа, векторы, битстрим и все команды, нужные для воспроизведения.
Один модуль или IP-ядро: побитовая проверка, тайминг, ресурсы, отчёт.
Целый блок из нескольких ядер, проверки интеграции и письменный разбор.
Всё вышеперечисленное плюс подготовка, которой требует подача на шаттл.
Постоянная верификация по мере изменения дизайна.
Замеры сняты на Xilinx Artix-7. Это не многоугловая характеризация и не претендует ею быть.
Это независимая проверка, а не замена полноценному коммерческому sign-off.
Я проверяю то, что могу прочитать. Зашифрованный IP так проверить нельзя.
Всё, что оценено, а не измерено, так и написано — и здесь, и в каждом отчёте.
Есть дизайн на проверку? Первый модуль бесплатный — сможете оценить отчёт до того, как за что-либо платить.