Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Kamkin A.S.

Institute for System Programming of the Russian Academy of Sciencies

Listing of all the works of the author. Click on the work title to get the full information.

2014 
  Kamkin A.S., Smolov S.A.
The method of EFSM extraction from HDL: application to functional verification
2016 
  Kamkin A.S., Kotsynyak A.M.
Specification-Based Test Program Generation for MIPS64 Memory Management Units
  Kamkin A.S., Burenkov V.S.
A Method for Scalable Verification of PROMELA Models of Cache Coherence Protocols
2018 
  Kamkin A.S., Protsenko A.S., Smolov S.A., Tatarnikov A.D.
MicroTESK-Based Test Program Generator for the RISC-V Architecture
 

Copyright © 2009-2024 IPPM RAS. All Rights Reserved.

Design of site: IPPM RAS