Alexander Kamkin

15 papers A 1C 1Unranked 13
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
2020 — conf
Deductive Binary Code Verification Against Source-Code-Level Specifications.
TAP@STAF
Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
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: A Tool for Constrained Random Test Program Generation for Microprocessors.
Ershov Informatics Conference
Alexander Kamkin, 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
Applying parameterized model checking to real-life cache coherence protocols.
EWDTS
Vladimir Burenkov, Alexander Kamkin
2016 — conf
Universal mitigation of NBTI-induced aging by design randomization.
EWDTS
Maksim Jenihhin, Alexander Kamkin, Zainalabedin Navabi, Somayeh Sadeghi Kohan
2013 — conf
Static analysis of HDL descriptions: Extracting models for verification.
EWDTS
Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko
2011 — conf
A TLM-based approach to functional verification of hardware components at different abstraction levels.
LATW
Mikhail M. Chupilko, Alexander Kamkin
2011 — conf
Reconfigurable Model-Based Test Program Generator for Microprocessors.
ICST Workshops
Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev
2011 — conf
Simulation-based hardware verification with time-abstract models.
EWDTS
Alexander Kamkin
2008 — conf
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications.
EWDTS
Alexander Kamkin
2006 C conf
The UniTESK Approach to Specification-Based Validation of Hardware Designs.
ISoLA
Alexander Kamkin