Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Institute for System Programming of the Russian Academy of Sciencies

---

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

2014
		Chupilko M.M., Protsenko A.S. Recognition and interpretation of erroneous behavior in simulation-based hardware verification
		Kamkin A.S., Smolov S.A. The method of EFSM extraction from HDL: application to functional verification
2016
		Kamkin A.S., Burenkov V.S. A Method for Scalable Verification of PROMELA Models of Cache Coherence Protocols
		Lebedev M.S., Smolov S.A. A Method of Functional Test Generation for HDL Descriptions Based on Model Checking of High-Level Decision Diagrams
		Tatarnikov A.D. Combinatorial Test Program Generation for Microprocessors Based on Formal Specifications of Instruction Set Architecture
		Kamkin A.S., Kotsynyak A.M. Specification-Based Test Program Generation for MIPS64 Memory Management Units
2018
		Kamkin A.S., Protsenko A.S., Smolov S.A., Tatarnikov A.D. MicroTESK-Based Test Program Generator for the RISC-V Architecture