Sergey A. Smolov

According to our database, Sergey A. Smolov authored at least 8 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

High-Level Synthesis versus Hardware Construction.

Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2018

Test Program Generator MicroTESK for RISC-V.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

2017

Maintaining ISA Specifications in MicroTESK Test Program Generator.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

2016

Testing logic circuits at different abstraction levels: An experimental evaluation.

Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

An EFSM-driven and model checking-based approach to functional test generation for hardware designs.

Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

2015

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.

Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

2014

Extensible environment for test program generation for microprocessors.

Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko

Program. Comput. Softw., 2014

2013

Static analysis of HDL descriptions: Extracting models for verification.

Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko

Proceedings of the East-West Design & Test Symposium, 2013