Обзор индустриальных подходов к верификации RISC-V, реализация Step-and-Compare на открытом ПО

Сергей Чусов (НИЛ ЭСК НИУ МИЭТ) рассказал про преимущества и недостатки современных индустриальных подходов к верификации RISC-V ядер и подробно остановился на своей реализации одного из них. Слайды можно найти на