Для цитирования:

АГАФОНОВ В.А., ФРОЛОВ П.В., МЕШКОВ А.Н. Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус». Труды Института системного программирования РАН. 2022;34(2):7-16. https://doi.org/10.15514/ISPRAS-2022-34(2)-1

For citation:

AGAFONOV V.A., FROLOV P.V., MESHKOV A.N. An Approach to Test Program Generation for Memory Coherence Verification of “Elbrus” Microprocessors. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(2):7-16. https://doi.org/10.15514/ISPRAS-2022-34(2)-1