Ближайшая конференция — Heisenbug 2025 Autumn, 19—20 октября, Санкт-Петербург + online. Подробности и билеты: https://jrg.su/D6uGC9
— —
Верификация аппаратуры — это сложный процесс, в котором генераторы тестов играют ключевую роль. Этот доклад — о новом генераторе тестов llvm-snippy, который недавно был выложен в опенсорс. Ключевое отличие этого генератора в том, что он основан на компиляторе LLVM и имеет отдельный интерфейс для подключения моделей. Поэтому состав, кодировку и семантику инструкций можно переиспользовать.
Спикер рассмотрел возможности генератора. В чем настоящая сложность задачи генерации случайных верификационных тестов и как в этом могут помочь компиляторные технологии.
Скачать презентацию с сайта Heisenbug — https://jrg.su/Si8bga