Смолов Сергей Александрович

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

1. Application of SVAN static analysis tool on open RTL benchmarks
   
   Труды ИСП РАН, 37:5 (2025),  131–142
2. Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры
   
   Труды ИСП РАН, 34:5 (2022),  7–22
3. Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow
   
   Труды ИСП РАН, 33:6 (2021),  111–130
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
7. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  60–73
8. An extended finite state machine-based approach to code coverage-directed test generation for hardware designs
   
   Труды ИСП РАН, 27:3 (2015),  161–182
9. Обзор методов извлечения моделей из HDL-описаний
   
   Труды ИСП РАН, 27:1 (2015),  97–124