Skip to content
STIMSMITH

Alexander Kamkin

Person WIKI v1 · 8/22/2026

Alexander Kamkin is a researcher affiliated with the Institute for System Programming of the Russian Academy of Sciences (ISPRAS). He is the Project Creator of the open-source MicroTESK project (a reconfigurable, ADL-based test program generator for microprocessors) and serves as one of its Managers. His research focuses on functional verification of hardware, including specification-driven testbench development, contract specifications of pipelined designs, and architecture-driven test program generation.

Alexander Kamkin

Affiliation

Alexander Kamkin 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 contact email as listed in publications is kamkin@ispras.ru.

Role in the MicroTESK Project

Within the open-source MicroTESK project hosted on the ISPRAS Forge, Alexander Kamkin holds multiple roles:

  • Project Creator of MicroTESK.
  • Manager of the project (alongside Alexander Protsenko).
  • Developer contributing to the project.

MicroTESK is a reconfigurable test program generation (TPG) framework that uses Architecture Description Languages (ADLs) together with high-level configuration information to generate test programs for microprocessor designs.

Research Contributions

Specification-Driven Testbench Development

Kamkin co-authored the paper "Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs" (with Mikhail Chupilko). The work proposes a semi-formal approach to testbench development based on cycle-accurate formal specifications expressed as control flow graphs and Hoare-triple-based microoperation definitions. The approach automates testbench development for synchronous designs with control flow branching and parallel starting operations, and was applied in industrial hardware verification projects. The implementation extends the CTESK toolkit developed at ISPRAS, using its SeC specification language for testbench components.

His earlier work, "Contract Specification of Pipelined Designs: Application to Testbench Automation" (Proc. of Spring Young Researchers' Colloquium on Software Engineering, 2007), provided foundational ideas for the specification-driven approach.

Test Program Generation for Microprocessors

Kamkin authored "Test Program Generation for Microprocessors" (Institute for System Programming of RAS, Volume 14, part 2, 2008, in Russian), a foundational study on the topic.

He co-authored "Reconfigurable Model-Based Test Program Generator for Microprocessors" (with E. Kornykhin and D. Vorobyev, A-MOST 2011, Berlin), which provided experimental results that informed early prototypes of MicroTESK.

MicroTESK Publications

Kamkin is the corresponding author and a primary contributor to key MicroTESK publications:

  • "MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors" (Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2012), co-authored with Andrei Tatarnikov.
  • "MicroTESK: An Extendable Framework for Test Program Generation" (SYRCoSE 2013), co-authored with Tatiana Sergeeva, Andrei Tatarnikov, and Artemiy Utekhin. This paper describes an extendable framework that supports random and combinatorial generation, with new techniques implementable as plugins.

Research Focus

Kamkin's research centers on functional verification of microprocessors and hardware designs, particularly:

  • Test program generation (TPG) and model-based testing.
  • Architecture Description Languages (ADLs) for describing microprocessor behavior.
  • Contract-based and specification-driven verification methodologies.
  • Integration of heterogeneous test generation techniques within a unified framework.

Collaborators (from MicroTESK project)

The MicroTESK project team that Kamkin manages/created includes: Alexander Protsenko, Alexander Sortov, Artem Kotsynyak, Ivan Grigorov, Mikhail Chupilko, Mikhail Lebedev, Natalya Talalova, Nikita Chertok, Pavel Putro, and Sergey Smolov.

LINKED ENTITIES

1 links
MicroTESK AUTHORED_BY

CITATIONS

9 sources
9 citations
[1] Alexander Kamkin is the Project Creator of the MicroTESK open-source project. Overview - MicroTESK - Open-Source Projects
[2] Alexander Kamkin is a Manager and Developer of the MicroTESK project. Overview - MicroTESK - Open-Source Projects
[3] Alexander Kamkin is affiliated with the Institute for System Programming of the Russian Academy of Sciences (ISPRAS), Moscow, Russia, with email kamkin@ispras.ru. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs
[4] Kamkin co-authored "Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs" with Mikhail Chupilko, proposing a semi-formal approach based on cycle-accurate formal specifications and Hoare-triple microoperation definitions, extending the CTESK toolkit. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs
[5] Kamkin authored "Contract specification of pipelined designs: application to testbench automation" (SYRCoSE 2007), a foundational work on contract-based testbench automation. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs
[6] Kamkin authored "Test Program Generation for Microprocessors" (ISPRAS, 2008, in Russian). MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
[7] Kamkin co-authored "Reconfigurable Model-Based Test Program Generator for Microprocessors" (A-MOST 2011) with E. Kornykhin and D. Vorobyev, providing experimental results used in early MicroTESK prototypes. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
[8] Kamkin is the corresponding author of "MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors" (SYRCoSE 2012), co-authored with Andrei Tatarnikov. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
[9] Kamkin co-authored "MicroTESK: An Extendable Framework for Test Program Generation" (SYRCoSE 2013) with Tatiana Sergeeva, Andrei Tatarnikov, and Artemiy Utekhin, describing an extendable TPG framework supporting plugin-based techniques. MicroTESK: An Extendable Framework for Test Program Generation