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

Поговорим про генератор тестов llvm-snippy, построенный на основе фреймворка LLVM для системной верификации RISC-V ядер.

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

Покажу, как возможности инфраструктуры LLVM взаимодействуют с возможностями, специфичными для конкретных платформ. Кроме того, рассмотрим проблемы генерирования программ, работающих с числами с плавающей точкой.