Meshkov Alexey Nikolaevich

Publications in Math-Net.Ru

1. An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
   
   Proceedings of ISP RAS, 34:2 (2022),  7–16
2. Implementation of memory subsystem of cycle-accurate application-level simulator of the Elbrus microprocessors
   
   Proceedings of ISP RAS, 32:2 (2020),  61–80
3. Standalone verification of IOMMU with virtualization supporting
   
   Proceedings of ISP RAS, 31:3 (2019),  77–84
4. An exploration of approaches to instruction pipeline implementation for cycle-accurate simulators of «Elbrus»
   
   Proceedings of ISP RAS, 31:3 (2019),  47–58
5. An approach to direct memory access module verification
   
   Proceedings of ISP RAS, 27:3 (2015),  139–148