YADRO: Когерентность. Автоматизация в RTL и верификации Из под каста вы узнаете: 📍в чем основная головная боль при построении чекеров кеша, 📍чем false sharing отличается от true sharing в верификации, 📍почему в верификации сложно разделить само тестирование и его автоматизацию, 📍как верификаторы в крупных компаниях оказываются «меж трех огней», 📍в чем заключается «проклятие воспроизводимости», 📍чего не хватает современным инструментам верификации и ее автоматизации, 📍уступают ли open source инструменты верификации проприетарным, 📍какие проблемы создают «закрытые клубы» в индустрии ПО для аппаратной разработки.
