Skip to content
STIMSMITH

Mikhail Chupilko

Person WIKI v1 · 8/22/2026

Mikhail Chupilko is a researcher affiliated with the Institute for System Programming of the Russian Academy of Sciences (ISPRAS). He is a co-author of work on specification-driven testbench development for synchronous parallel-pipeline hardware designs and is listed as a developer on the MicroTESK open-source project hosted on the ISPras Forge.

Mikhail Chupilko

Affiliation

Mikhail Chupilko is affiliated with the Institute for System Programming of the Russian Academy of Sciences (ISPRAS), located at 25, A. Solzhenitsyn Street, Moscow, 109004, Russia. His published contact e-mail is chupilko@ispras.ru.

Research Work

Mikhail Chupilko co-authored, together with Alexander Kamkin, the paper "Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs" published by ISPRAS.

The paper proposes a semi-formal approach to testbench development for synchronous hardware designs that includes control flow branching and parallel starting operations. Key elements of the contribution described in the paper:

  • A specification-driven approach that uses cycle-accurate formal specifications of the design under verification.
  • Specifications describe the control flow graphs of the design's operations and define microoperations in the form of Hoare triples.
  • The same specifications are reused to perform all tasks of functional testbenches:
    • Checking design correctness.
    • Estimating test completeness.
    • Generating test sequences (via a generalized FSM model of the design).
  • The approach was successfully used in several industrial projects on hardware verification.

The case study reported in the paper indicates that all requirements were formalized using approximately 120 non-trivial preconditions, commands, and postconditions, yielding roughly 3 KLOC of SeC specifications with about 6 man-months of testbench development effort (estimated as 20–30% of RTL development effort). The project uncovered 12 functional errors in the design implementation, including very critical ones.

Open-Source Project Activity

Mikhail Chupilko is listed as a Developer of the MicroTESK project on the ISPras Forge. Other developers listed on the same project include Alexander Protsenko (also Manager), Alexander Kamkin (Manager and Project Creator), Alexander Sortov, Artem Kotsynyak, Ivan Grigorov, Mikhail Lebedev, Natalya Talalova, Nikita Chertok, Pavel Putro, and Sergey Smolov.

Related Entities

  • MicroTESK — open-source project on ISPras Forge on which Mikhail Chupilko is listed as a developer.

LINKED ENTITIES

1 links
MicroTESK AUTHORED_BY

CITATIONS

3 sources
3 citations
[1] Mikhail Chupilko is affiliated with the Institute for System Programming of the Russian Academy of Sciences (ISPRAS), Moscow, Russia, with contact e-mail chupilko@ispras.ru. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs
[2] Mikhail Chupilko co-authored with Alexander Kamkin the paper 'Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs' proposing a semi-formal, specification-driven testbench approach for synchronous parallel-pipeline hardware designs. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs
[3] Mikhail Chupilko is listed as a Developer on the MicroTESK open-source project on the ISPras Forge. Overview - MicroTESK - Open-Source Projects