Mikhail M. Chupilko

14 papers A 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2023 A conf
High-Level Synthesis versus Hardware Construction.
DATE
Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev
2019 — conf
Open-Source Validation Suite for RISC-V.
MTV
Mikhail M. Chupilko, Alexander Kamkin, Alexander Protsenko
2018 — conf
Test Program Generator MicroTESK for RISC-V.
MTV
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
2017 — conf
Maintaining ISA Specifications in MicroTESK Test Program Generator.
MTV
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
2017 — conf
MicroTESK: Specification-Based Tool for Constructing Test Program Generators.
Haifa Verification Conference
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
2016 — conf
ESL design with RTL-verified predesigned abstract communication channels.
EWDTS
Hamed Najafi Haghi, Mikhail M. Chupilko, Alexander S. Kamkin, Zainalabedin Navabi
2016 — conf
Testing logic circuits at different abstraction levels: An experimental evaluation.
EWDTS
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
2015 — conf
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.
MTV
Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
2014 J jnl
Extensible environment for test program generation for microprocessors.
Program. Comput. Softw.
Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko
2013 — conf
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
MBT
Mikhail M. Chupilko, Alexander S. Kamkin
2012 J jnl
Developing test systems for multi-modules hardware designs.
Program. Comput. Softw.
Mikhail M. Chupilko
2011 — conf
A TLM-based approach to functional verification of hardware components at different abstraction levels.
LATW
Mikhail M. Chupilko, Alexander Kamkin
2011 J jnl
Survey of modern technologies of simulation-based verification of hardware.
Program. Comput. Softw.
Alexander S. Kamkin, Mikhail M. Chupilko
2010 — conf
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models.
EWDTS
Mikhail M. Chupilko