|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
А. С. Камкин, М. М. Чупилко, М. С. Лебедев, С. А. Смолов, Г. Гайдаджиев, “Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры”, Труды ИСП РАН, 34:5 (2022), 7–22 |
4
|
|
2021 |
2. |
М. С. Лебедев, П. Н. Белецкий, “Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов”, Труды ИСП РАН, 33:6 (2021), 175–192 |
|
2019 |
3. |
A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Труды ИСП РАН, 31:3 (2019), 135–144 |
2
|
|
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 |
1
|
|