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

Смолов С.А.

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

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

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

Copyright © 2009-2024 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН