llvm-snippy: тестирование RISC-V аппаратуры случайными тестами

Верификация аппаратуры — это сложный процесс, в котором генераторы тестов играют ключевую роль. Этот доклад — о новом генераторе тестов llvm-snippy, который недавно был выложен в опенсорс. Ключевое отличие этого генератора в том, что он основан на компиляторе LLVM и имеет отдельный интерфейс для подключения моделей. Поэтому состав, кодировку и семантику инструкций можно переиспользовать.

Рассмотрим возможности генератора. Обсудим, в чем настоящая сложность задачи генерации случайных верификационных тестов и как в этом могут помочь компиляторные технологии.