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

Ближайшая конференция — Heisenbug 2024 Autumn, 10 октября (Online), 17—18 октября (Санкт-Петербург трансляция). Подробности и билеты: — — Верификация аппаратуры — это сложный процесс, в котором генераторы тестов играют ключевую роль. Этот доклад — о новом генераторе тестов llvm-snippy, который недавно был выложен в опенсорс. Ключевое отличие этого генератора в том, что он основан на компиляторе LLVM и имеет отдельный интерфейс для подключения моделей. Поэтому состав, кодировку и семантику инструкций можно переиспользовать. Спикер рассмотрел возможности генератора. В чем настоящая сложность задачи генерации случайных верификационных тестов и как в этом могут помочь компиляторные технологии. Скачать презентацию с сайта Heisenbug —