Маршрут функциональной верификации цифрового дизайна (Михаил Барских, YADRO)
Когда речь идет о верификации, сразу представляется фреймворк UVM. Однако UVM не равен верификации: полный маршрут, принятый в индустрии, включает также важные этапы планирования верификации и ее окончание. Именно на них Михаил делает упор в своем докладе. На основе своего опыта он рассказывает о подходе к организации работ по верификации, который может быть использован в качестве примера для ваших проектов. Конечно, в докладе затронут UVM и его применение: изучаем подход к разработке модульного окружения для переиспользования его на системном уровне и приемы, которые позволяют упростить написание тестового окружения и ускорить моделирование. Также Михаил кратко рассказывает о набирающем популярность фреймворке Cocotb и надстройке над ним — PyUVM. Ссылка на слайды: https://drive.yadro.com/s/if2tPfmE4H7LH7f 📚 Дополнительные материалы ✅ Статьи на Истовом инженере: · Итеративная сборка FPGA-проектов https://engineer.yadro.com/article/iterative-compilation/ · RnD-цикл современных ASIC/SoC глазами тополога https://engineer.yadro.com/article/kak-ustroen-cikl-razrabotki-sovremennyh-mikroshem/ · Опыт автоматизации управления FPGA-стендами для распределенной команды https://engineer.yadro.com/article/fpga-remote/ · ASIC и FPGA: сорок лет эволюции https://engineer.yadro.com/article/asic-and-fpga-evolution/ ✅ Лекция Дениса Нефёдова: Маршрут проектирования цифровых микросхем https://engineer.yadro.com/video/digital-microcircuit-design-route/ ✅ Хабр: · Функциональная верификация цифрового дизайна: как это делают в YADRO https://habr.com/ru/companies/yadro/articles/957456/ · Черная магия FPGA-разработчика: как мы превращаем идеи в железо https://habr.com/ru/companies/yadro/articles/1014630/ · Путь в микроэлектронику через верификацию: руководство для начинающих https://habr.com/ru/companies/yadro/articles/899446/ 🎧 Послушать: · Подкаст «Битовые маски» с Михаилом Коробковым. Виды FPGA. Разработка на FPGA. Создание FPGA-сообщества https://engineer.yadro.com/podcast/vidy-fpga-razrabotka-na-fpga-sozdanie-fpga-soobshhestva/ · Подкаст «Битовые маски» с Никитой Поляковым. RTL-дизайн. Языки разработки аппаратуры. Верификация и синтез https://engineer.yadro.com/podcast/rtl-design/ · Подкаст «Битовые маски» с Юрием Панчулом. Дизайн процессоров: подходы и особенности индустрии. High-level синтез. Проблемы в образовании https://engineer.yadro.com/podcast/dizajn-proczessorov-panchul/
Когда речь идет о верификации, сразу представляется фреймворк UVM. Однако UVM не равен верификации: полный маршрут, принятый в индустрии, включает также важные этапы планирования верификации и ее окончание. Именно на них Михаил делает упор в своем докладе. На основе своего опыта он рассказывает о подходе к организации работ по верификации, который может быть использован в качестве примера для ваших проектов. Конечно, в докладе затронут UVM и его применение: изучаем подход к разработке модульного окружения для переиспользования его на системном уровне и приемы, которые позволяют упростить написание тестового окружения и ускорить моделирование. Также Михаил кратко рассказывает о набирающем популярность фреймворке Cocotb и надстройке над ним — PyUVM. Ссылка на слайды: https://drive.yadro.com/s/if2tPfmE4H7LH7f 📚 Дополнительные материалы ✅ Статьи на Истовом инженере: · Итеративная сборка FPGA-проектов https://engineer.yadro.com/article/iterative-compilation/ · RnD-цикл современных ASIC/SoC глазами тополога https://engineer.yadro.com/article/kak-ustroen-cikl-razrabotki-sovremennyh-mikroshem/ · Опыт автоматизации управления FPGA-стендами для распределенной команды https://engineer.yadro.com/article/fpga-remote/ · ASIC и FPGA: сорок лет эволюции https://engineer.yadro.com/article/asic-and-fpga-evolution/ ✅ Лекция Дениса Нефёдова: Маршрут проектирования цифровых микросхем https://engineer.yadro.com/video/digital-microcircuit-design-route/ ✅ Хабр: · Функциональная верификация цифрового дизайна: как это делают в YADRO https://habr.com/ru/companies/yadro/articles/957456/ · Черная магия FPGA-разработчика: как мы превращаем идеи в железо https://habr.com/ru/companies/yadro/articles/1014630/ · Путь в микроэлектронику через верификацию: руководство для начинающих https://habr.com/ru/companies/yadro/articles/899446/ 🎧 Послушать: · Подкаст «Битовые маски» с Михаилом Коробковым. Виды FPGA. Разработка на FPGA. Создание FPGA-сообщества https://engineer.yadro.com/podcast/vidy-fpga-razrabotka-na-fpga-sozdanie-fpga-soobshhestva/ · Подкаст «Битовые маски» с Никитой Поляковым. RTL-дизайн. Языки разработки аппаратуры. Верификация и синтез https://engineer.yadro.com/podcast/rtl-design/ · Подкаст «Битовые маски» с Юрием Панчулом. Дизайн процессоров: подходы и особенности индустрии. High-level синтез. Проблемы в образовании https://engineer.yadro.com/podcast/dizajn-proczessorov-panchul/