Search Results - "Kotsynyak, A.M."
-
1
Specification-Based Test Program Generation for MIPS64 Memory Management Units
Published in Trudy Instituta sistemnogo programmirovaniâ (01-10-2018)“…In this paper, a tool for automatically generating test programs for MIPS64 memory management units is described. The solution is based on the MicroTESK…”
Get full text
Journal Article -
2
MicroTESK-Based Test Program Generator for the ARMv8 Architecture
Published in Trudy Instituta sistemnogo programmirovaniâ (01-10-2018)“…ARM is a family of microprocessor instruction set architectures developed in a company with the same name. The newest architecture of this family, ARMv8,…”
Get full text
Journal Article