Skip to content
STIMSMITH

Alexander Kamkin

Person

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.

First seen 6/11/2026
Last seen 8/22/2026
Evidence 10 chunks
Wiki v1

WIKI

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:

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors ← authored by 100% 1e
Alexander Kamkin is listed as an author of the MicroTESK paper.
MicroTESK: An Extendable Framework for Test Program Generation ← authored by 100% 1e
Alexander Kamkin is listed as an author of the paper.
An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates ← authored by 100% 1e
The paper is authored by Alexander Kamkin.
Reconfigurable Model-Based Test Program Generator for Microprocessors ← authored by 100% 1e
Alexander Kamkin is listed as an author of this paper.
MicroTESK ← authored by 98% 1e
Alexander Kamkin is listed as a manager and project creator of MicroTESK.

LINKED ENTITIES

1 links
MicroTESK AUTHORED_BY Extracted graph relationship

CITATIONS

9 sources
9 citations — click to expand
[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