Frolov Pavel Viktorovich

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. Approach to test program development for multilevel verification
   
   Proceedings of ISP RAS, 31:3 (2019),  59–66
3. An approach to direct memory access module verification
   
   Proceedings of ISP RAS, 27:3 (2015),  139–148