Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Институт системного программирования РАН

---

Листинг всех работ организации. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2014
		Камкин А.С., Смолов С.А. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации
		Чупилко М.М., Проценко А.С. Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры
2016
		Камкин А.С., Коцыняк А.М. Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций
		Татарников А.Д. Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
		Лебедев М.С., Смолов С.А. Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей
		Камкин А.С., Буренков В.С. Метод масштабируемой верификации PROMELA-моделей протоколов когерентности кэш-памяти
2018
		Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д. Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK