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

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