Генерация тестовых программ для устройств управления памятью ARM VMSAv8-64 на основе спецификаций.


Генерация тестовых программ для устройств управления памятью ARM VMSAv8-64 на основе спецификаций.

Авторы

М. Чупилко, А. Камкин, А. Коцыняк, А. Проценко, С. Смолов, А. Татарников.

Издание

Труды семинара Microprocessor Test and Verification (MTV), 2015.

Научная группа

Технологии программирования

Все публикации за 2015 год Все публикации