|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
V. A. Agafonov, P. V. Frolov, A. N. Meshkov, “An approach to test program generation for memory coherence verification of “Elbrus” microprocessors”, Proceedings of ISP RAS, 34:2 (2022), 7–16  |
|
2019 |
| 2. |
P. V. Frolov, “Approach to test program development for multilevel verification”, Proceedings of ISP RAS, 31:3 (2019), 59–66  |
|
2015 |
| 3. |
V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov, “An approach to direct memory access module verification”, Proceedings of ISP RAS, 27:3 (2015), 139–148 |
|
| Organisations |
|
|
Contact us: