Чупилко Михаил Михайлович

Публикации в базе данных Math-Net.Ru

1. Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры
   
   Труды ИСП РАН, 34:5 (2022),  7–22
2. Обзор методов функционального онлайн-тестирования микропроцессоров
   
   Труды ИСП РАН, 33:6 (2021),  131–148
3. Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow
   
   Труды ИСП РАН, 33:6 (2021),  111–130
4. Simulation-based verification of system-on-chip bus controllers
   
   Труды ИСП РАН, 30:4 (2018),  129–138
5. Test generation for digital hardware based on high-level models
   
   Труды ИСП РАН, 29:4 (2017),  247–256
6. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
   
   Труды ИСП РАН, 28:6 (2016),  87–102
7. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  130–142