|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
М. С. Лебедев, Д. А. Дыскина, А. Ю. Еременко, Ф. А. Кабанов, И. А. Козмин, Д. М. Петренко, Н. Б. Поудиал, А. А. Сергеев, Р. А. Ширинова, “Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения”, Труды ИСП РАН, 37:2 (2025), 49–60  |
|
2022 |
| 2. |
А. С. Камкин, М. М. Чупилко, М. С. Лебедев, С. А. Смолов, Г. Гайдаджиев, “Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры”, Труды ИСП РАН, 34:5 (2022), 7–22 |
7
|
|
2021 |
| 3. |
М. С. Лебедев, П. Н. Белецкий, “Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов”, Труды ИСП РАН, 33:6 (2021), 175–192 |
1
|
|
2019 |
| 4. |
A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Труды ИСП РАН, 31:3 (2019), 135–144  |
4
|
|
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. |
M. S. Lebedev, S. A. Smolov, “A model checking-based method of functional test generation for HDL descriptions”, Труды ИСП РАН, 28:4 (2016), 41–56 |
3
|
|
