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