YADRO: Когерентность. Автоматизация в RTL и верификации

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

Смотреть | Информация о компании