Константин Владимиров — Компиляторные технологии в верификации аппаратного обеспечения

Подробнее о конференции sysconf: https://jrg.su/Czu8Za
— — Скачать презентацию с сайта sysconf — https://jrg.su/A7B89r
Поговорили про генератор тестов llvm-snippy, построенный на основе фреймворка LLVM для системной верификации RISC-V ядер. Рассмотрели место генераторов в верификации, существующие подходы к написанию генераторов, а также обсудим, чем могут помочь компиляторные технологии. Рассмотрели возможности генератора llvm-snippy и его применение в существующих open source-проектах. Коснулись некоторых принципиальных сложностей в генерации кода для специфичных расширений RISC-V, например для RVV. Константин показал, как возможности инфраструктуры LLVM взаимодействуют с возможностями, специфичными для конкретных платформ. Кроме того, он рассмотрел проблемы генерирования программ, работающих с числами с плавающей точкой.