Mikhail M. Chupilko

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 7

Top Topics

Experimental Evaluation

Communication Channels

Abstraction Levels

Top Venues

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, Alexander Protsenko
Open-Source Validation Suite for RISC-V. MTV (2019)
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)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference (2017)
Hamed Najafi Haghi, Mikhail M. Chupilko, Alexander S. Kamkin, Zainalabedin Navabi
ESL design with RTL-verified predesigned abstract communication channels. 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)
Mikhail M. Chupilko, Alexander S. Kamkin
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces MBT (2013)
Mikhail M. Chupilko
Developing test systems for multi-modules hardware designs. Program. Comput. Softw. 38 (1) (2012)
Alexander S. Kamkin, Mikhail M. Chupilko
Survey of modern technologies of simulation-based verification of hardware. Program. Comput. Softw. 37 (3) (2011)
Mikhail M. Chupilko, Alexander Kamkin
A TLM-based approach to functional verification of hardware components at different abstraction levels. LATW (2011)
Mikhail M. Chupilko
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. EWDTS (2010)