Sergey A. Smolov

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 5

Top Topics

Static Analysis

Test Generation

Top Venues

Program. Comput. Softw.

Publications

Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev
High-Level Synthesis versus Hardware Construction. DATE (2023)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Test Program Generator MicroTESK for RISC-V. MTV (2018)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Maintaining ISA Specifications in MicroTESK Test Program Generator. MTV (2017)
Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov
An EFSM-driven and model checking-based approach to functional test generation for hardware designs. EWDTS (2016)
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS (2016)
Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. MTV (2015)
Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko
Extensible environment for test program generation for microprocessors. Program. Comput. Softw. 40 (1) (2014)
Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko
Static analysis of HDL descriptions: Extracting models for verification. EWDTS (2013)