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

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

1. Система статического анализа для языка описания аппаратуры SystemVerilog
   
   Труды ИСП РАН, 37:1 (2025),  7–40
2. Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR
   
   Труды ИСП РАН, 36:5 (2024),  31–46
3. Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры
   
   Труды ИСП РАН, 34:5 (2022),  7–22
4. Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow
   
   Труды ИСП РАН, 33:6 (2021),  111–130
5. Архитектура системы дедуктивной верификации машинного кода
   
   Труды ИСП РАН, 32:3 (2020),  7–19
6. Extracting assertions for conflicts in HDL descriptions
   
   Труды ИСП РАН, 31:3 (2019),  135–144
7. Test generation for digital hardware based on high-level models
   
   Труды ИСП РАН, 29:4 (2017),  247–256
8. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
   
   Труды ИСП РАН, 28:6 (2016),  87–102
9. Specification-based test program generation for MIPS64 memory management units
   
   Труды ИСП РАН, 28:4 (2016),  99–114
10. Checking parameterized Promela models of cache coherence protocols
    
    Труды ИСП РАН, 28:4 (2016),  57–76
11. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  60–73
12. An extended finite state machine-based approach to code coverage-directed test generation for hardware designs
    
    Труды ИСП РАН, 27:3 (2015),  161–182
13. A model-based approach to design test oracles for memory subsystems of multicore microprocessors
    
    Труды ИСП РАН, 27:3 (2015),  149–160
14. An approach to test program generation based on formal specifications of caching and address translation mechanisms
    
    Труды ИСП РАН, 27:3 (2015),  125–138
15. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  130–142


16. Предисловие
    
    Труды ИСП РАН, 27:3 (2015),  7–8