|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
А. С. Камкин, М. М. Чупилко, М. С. Лебедев, С. А. Смолов, Г. Гайдаджиев, “Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры”, Труды ИСП РАН, 34:5 (2022), 7–22  |
6
|
|
2021 |
| 2. |
А. С. Камкин, С. А. Смолов, М. М. Чупилко, “Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow”, Труды ИСП РАН, 33:6 (2021), 111–130 |
1
|
|
2019 |
| 3. |
A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Труды ИСП РАН, 31:3 (2019), 135–144  |
3
|
|
2017 |
| 4. |
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 |
| 5. |
M. S. Lebedev, S. A. Smolov, “A model checking-based method of functional test generation for HDL descriptions”, Труды ИСП РАН, 28:4 (2016), 41–56 |
3
|
|
2015 |
| 6. |
С. А. Смолов, А. С. Камкин, “Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212), 60–73 |
3
|
| 7. |
I. Melnichenko, A. Kamkin, S. Smolov, “An extended finite state machine-based approach to code coverage-directed test generation for hardware designs”, Труды ИСП РАН, 27:3 (2015), 161–182 |
2
|
| 8. |
С. А. Смолов, “Обзор методов извлечения моделей из HDL-описаний”, Труды ИСП РАН, 27:1 (2015), 97–124 |
3
|
|
Обратная связь: