Alexander S. Kamkin

According to our database, Alexander S. Kamkin authored at least 24 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

High-Level Synthesis versus Hardware Construction.

Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2020

Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2019

Open-Source Validation Suite for RISC-V.

Mikhail M. Chupilko, Alexander Kamkin, Alexander Protsenko

Proceedings of the 20th International Workshop on Microprocessor/SoC Test, 2019

2018

Test Program Generator MicroTESK for RISC-V.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

2017

Maintaining ISA Specifications in MicroTESK Test Program Generator.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

MicroTESK: Specification-Based Tool for Constructing Test Program Generators.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov

Proceedings of the Hardware and Software: Verification and Testing, 2017

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors.

Alexander Kamkin, Andrei Tatarnikov

Proceedings of the Perspectives of System Informatics, 2017

2016

Testing logic circuits at different abstraction levels: An experimental evaluation.

Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

An EFSM-driven and model checking-based approach to functional test generation for hardware designs.

Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

Universal mitigation of NBTI-induced aging by design randomization.

Maksim Jenihhin, Alexander Kamkin, Zainalabedin Navabi, Somayeh Sadeghi Kohan

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

ESL design with RTL-verified predesigned abstract communication channels.

Hamed Najafi Haghi, Mikhail M. Chupilko, Alexander S. Kamkin, Zainalabedin Navabi

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

Applying parameterized model checking to real-life cache coherence protocols.

Vladimir Burenkov, Alexander Kamkin

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

2015

Projecting transition systems: Overcoming state explosion in concurrent system verification.

Alexander S. Kamkin

Program. Comput. Softw., 2015

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.

Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

2014

Extensible environment for test program generation for microprocessors.

Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko

Program. Comput. Softw., 2014

2013

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

Mikhail M. Chupilko, Alexander S. Kamkin

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Static analysis of HDL descriptions: Extracting models for verification.

Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko

Proceedings of the East-West Design & Test Symposium, 2013

2011

Survey of modern technologies of simulation-based verification of hardware.

Alexander S. Kamkin, Mikhail M. Chupilko

Program. Comput. Softw., 2011

A TLM-based approach to functional verification of hardware components at different abstraction levels.

Mikhail M. Chupilko, Alexander Kamkin

Proceedings of the 12th Latin American Test Workshop, 2011

Reconfigurable Model-Based Test Program Generator for Microprocessors.

Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Simulation-based hardware verification with time-abstract models.

Alexander Kamkin

Proceedings of the 9th East-West Design & Test Symposium, 2011

2008

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications.

Alexander Kamkin

Proceedings of the 2008 East-West Design & Test Symposium, 2008

2007

The use of contract specifications for representing requirements and for functional testing of hardware models.

V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2007

2006

The UniTESK Approach to Specification-Based Validation of Hardware Designs.

Alexander Kamkin

Proceedings of the Leveraging Applications of Formal Methods, 2006