Оглавление Аннотация Приступаем к работе Сборка и настройка HW части SW часть проекта см часть 4 Итоги см часть 4 Ссылки см часть 4 Ссылка н…

42 цифры создающие историю. Ученые из Университета Paderborn и KU Leuven раскрыли тайну математики десятилетней давности, относящуюся к так…

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

Оглавление Введение Мой контроллер i2c Техническое задание Отладочный стенд Сборка и отладка Распределение регистров по портам Заглядываю вн…

При разработке под GOWIN нередко возникает необходимость произвести моделирование блока, в состав которого входит набор IP ядер. Поскольку с…

В полку платформ с задачами на HDL языках прибыло. Теперь к списку, помимо известных HDLBits и bitsolver.io , добавилась платформа QuickSili…

In this post we look at some of the most popular open-source tools for FPGA design and verification. Traditionally, when we create an FPGA d…

Главный вопрос жизни, Вселенной и всего такого Контроль хода верификации Обсидиан следящий Обзор фич Реализация Требования Тесты Группы покр…

Познакомить начинающих разработчиков с основами статического временного анализа. Будут рассмотрены способы применения команды set_multicycle…