Маршрут функциональной верификации цифрового дизайна (Михаил Барских, YADRO)

Когда речь идет о верификации, сразу представляется фреймворк UVM. Однако UVM не равен верификации: полный маршрут, принятый в индустрии, включает также важные этапы планирования верификации и ее окончание. Именно на них Михаил делает упор в своем докладе. На основе своего опыта он рассказывает о подходе к организации работ по верификации, который может быть использован в качестве примера для ваших проектов. Конечно, в докладе затронут UVM и его применение: изучаем подход к разработке модульного окружения для переиспользования его на системном уровне и приемы, которые позволяют упростить написание тестового окружения и ускорить моделирование. Также Михаил кратко рассказывает о набирающем популярность фреймворке Cocotb и надстройке над ним — PyUVM.