Константин Владимиров — llvm-snippy: тестирование RISC-V аппаратуры случайными тестами
Ближайшая конференция — Heisenbug 2024 Autumn, 10 октября (Online), 17—18 октября (Санкт-Петербург трансляция).
Подробности и билеты:
— —
Верификация аппаратуры — это сложный процесс, в котором генераторы тестов играют ключевую роль. Этот доклад — о новом генераторе тестов llvm-snippy, который недавно был выложен в опенсорс. Ключевое отличие этого генератора в том, что он основан на компиляторе LLVM и имеет отдельный интерфейс для подключения моделей. Поэтому состав, кодировку и семантику инструкций можно переиспользовать.
Спикер рассмотрел возможности генератора. В чем настоящая сложность задачи генерации случайных верификационных тестов и как в этом могут помочь компиляторные технологии.
Скачать презентацию с сайта Heisenbug —
1 view
365
76
2 months ago 00:29:34 3
CMH, BOOKER, PUSSYKILLER, Metox, WHITE GALLOWS, Джон Гарик. 3 КОТА шоу / Биг Коллаб. Трек за 5 минут
2 months ago 00:03:44 1
SQWOZ BAB - ОЗЕРО В ЛЕСУ (Премьера клипа 2024)
2 months ago 00:03:37 1
LITTLE BIG — I’M OK (official music video)
2 months ago 00:04:21 1
“Там вдали, за рекой...“ Песня из фильма “Как закалялась сталь“ (1973)
2 months ago 02:24:22 1
St Petersburg Ballet Theatre - Swan Lake ft Irina Kolesnikova
2 months ago 00:03:37 2
LITTLE BIG — I’M OK
2 months ago 00:04:20 1
Ямщик не гони лошадей.mp4
2 months ago 12:03:45 1
ЛУЧШИЙ СЕРИАЛ ОБ УШЕДШЕЙ ЭПОХЕ! Сделано в СССР. ВСЕ СЕРИИ. Драма. Лучшие сериалы
2 months ago 00:03:03 1
Сергей Лазарев х Therr Maitz — Олимпиада-80
2 months ago 00:02:39 1
RAM, BORIS REDWALL - Токсин-2 (Official Music Video) #RAM #Рамирес
2 months ago 00:03:00 1
Равшана Куркова // Все важные фразы
2 months ago 00:27:46 1
Кремль сливает Zвезд. Малахов против Киселева. Ургант возвращается на Первый канал / МОЖЕМ ОБЪЯСНИТЬ
2 months ago 00:07:25 1
Би-2 — Колыбельная (2022)
2 months ago 02:33:50 1
Двенадцатая ночь. Шекспир. Телеспектакль театра “Современник“ (1978)
2 months ago 00:06:52 2
Артемий Лебедев: Мы настолько стесняемся своего, не ценим сами себя. Россия - это прекрасная страна!
2 months ago 00:03:17 1
Максим Фадеев, Маша Гулевич - Скажите детям (Премьера клипа 2023)
2 months ago 00:04:40 1
GAYAZOV$ BROTHER$ - НЕВЕСТА (Official Music Video)
2 months ago 01:34:24 1
Последняя классическая экспедиция 20 века Владимира Рыбина | 9 месяцев- 10000км на собачьих упряжках
2 months ago 00:34:33 1
СТАРЫЙ БЛАТНЯК. “ВЫПЬЕМ ЗА ТЕХ, КТО УШЕЛ НА ЭТАП...“. Исполняет некто Егорыч. Ростов, 1983.
2 months ago 00:00:00 2
Мочим РУССКИЙ РОК НА ГИТАРЕ! Кино, КиШ, СГ, Егор Летов, Агата Кристи, Нау, Чиж, Кукры, Сплин и т.д.
2 months ago 00:03:24 1
«Маленький принц» / Вика Старикова и Концертный оркестр Алексея Губарева
2 months ago 00:31:46 1
Музыкальная программа от Князя “Ностальгия радиохулигана“ (Сборник дворовых песен)