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