Лебедев Михаил Сергеевич

Публикации в базе данных Math-Net.Ru

1. Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения
   
   Труды ИСП РАН, 37:2 (2025),  49–60
2. Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры
   
   Труды ИСП РАН, 34:5 (2022),  7–22
3. Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов
   
   Труды ИСП РАН, 33:6 (2021),  175–192
4. Extracting assertions for conflicts in HDL descriptions
   
   Труды ИСП РАН, 31:3 (2019),  135–144
5. Test generation for digital hardware based on high-level models
   
   Труды ИСП РАН, 29:4 (2017),  247–256
6. A model checking-based method of functional test generation for HDL descriptions
   
   Труды ИСП РАН, 28:4 (2016),  41–56