| Средства функциональной верификации микропроцессоров АС Камкин, АМ Коцыняк, СА Смолов, АД Татарников, ММ Чупилко, ... Труды Института системного программирования РАН 26 (1), 149-200, 2014 | 20 | 2014 |
| Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода СА Смолов, АС Камкин Информатика, телекоммуникации и управление, 60-73, 2015 | 6 | 2015 |
| Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow АС Камкин, СА Смолов, ММ Чупилко Труды Института системного программирования РАН 33 (6), 111-130, 2021 | 3 | 2021 |
| Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации АС Камкин, СА Смолов Проблемы разработки перспективных микро-и наноэлектронных систем (МЭС), 113-118, 2014 | 2 | 2014 |
| Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK АС Камкин, АС Проценко, СА Смолов, АД Татарников Проблемы разработки перспективных микро-и наноэлектронных систем (МЭС), 2-8, 2018 | 1 | 2018 |
| Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK АС Камкин, АМ Коцыняк, АС Проценко, АД Татарников, ММ Чупилко Труды Института системного программирования РАН 28 (6), 87-102, 2016 | 1 | 2016 |
| Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей МС Лебедев, СА Смолов Проблемы разработки перспективных микро-и наноэлектронных систем (МЭС), 24-31, 2016 | 1 | 2016 |
| Обзор методов извлечения моделей из HDL-описаний СА Смолов Труды Института системного программирования РАН 27 (1), 97-124, 2015 | 1 | 2015 |
| Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры АС Камкин, ММ Чупилко, МС Лебедев, СА Смолов, Г Гайдаджиев Труды Института системного программирования РАН 34 (5), 7-22, 2022 | | 2022 |
| Экспериментальное сравнение открытых инструментов проверки моделей цифровой аппаратуры АС Камкин, МС Лебедев, СА Смолов Новые информационные технологии в исследовании сложных структур, 149-149, 2020 | | 2020 |
| Поиск конфликтов доступа к данным в HDL-описаниях АС Камкин, МС Лебедев, СА Смолов Труды Института системного программирования РАН 31 (3), 135-144, 2019 | | 2019 |
| Retrascope: Программа анализа HDL-описаний цифровой аппаратуры АС Камкин, МС Лебедев, ИВ Мельниченко, АС Проценко, СА Смолов, ... | | 2018 |
| Формальная проверка эквивалентности описаний цифровой аппаратуры СА Смолов, АС Камкин, МС Лебедев ББК 73я431 Н766 Редакционная коллегия выпуска, 83, 2018 | | 2018 |
| Fortress: Набор модулей для описания и преобразования формул и разрешения ограничений АС Камкин, АД Татарников, АМ Коцыняк, СА Смолов | | 2017 |
| Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей ММ Чупилко, АС Камкин, МС Лебедев, СА Смолов Труды Института системного программирования РАН 29 (4), 247-256, 2017 | | 2017 |
| Генерация функциональных тестов для HDL-описаний на основе проверки моделей МС Лебедев, СА Смолов Труды Института системного программирования РАН 28 (4), 41-56, 2016 | | 2016 |
| АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ОПИСАНИЙ ЦИФРОВОЙ АППАРАТУРЫ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ С ПОМОЩЬЮ ИНСТРУМЕНТА NuXMV АС Камкин, МС Лебедев, СА Смолов Новые информационные технологии в исследовании сложных структур, 50-51, 2016 | | 2016 |
| Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов И Мельниченко, А Камкин, С Смолов Труды Института системного программирования РАН 27 (3), 161-182, 2015 | | 2015 |
| Метод извлечения EFSM-моделей из HDL-описаний повышенной сложности СА Смолов Известия высших учебных заведений. Физика 58 (11-2), 97-102, 2015 | | 2015 |
| МЕТОД ИЗВЛЕЧЕНИЯ РАСШИРЕННЫХ КОНЕЧНЫХ АВТОМАТОВ ИЗ HDL-ОПИСАНИЙ СА Смолов Научно-техническая конференция студентов, аспирантов и молодых специалистов …, 2015 | | 2015 |
