![](https://squidex.jugru.team/api/assets/srm/cc6a774b-cc31-4b6b-9e65-46b01e79ece5/20220506-122511.jpg?cache=3600&width=74&height=74&mode=CropUpsize)
Константин Владимиров
Компания: Syntacore
Тип доклада: Доклад
Верификация аппаратуры — это сложный процесс, в котором генераторы тестов играют ключевую роль. Этот доклад — о новом генераторе тестов llvm-snippy,
который недавно был выложен в опенсорс. Ключевое отличие этого генератора в том, что он основан на компиляторе LLVM и имеет отдельный интерфейс для подключения моделей. Поэтому состав, кодировку и семантику инструкций можно переиспользовать.
Рассмотрим возможности генератора. Обсудим, в чем настоящая сложность задачи генерации случайных верификационных тестов и как в этом могут помочь компиляторные технологии.
Компания: Syntacore
Компания: Syntacore