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