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

Петроченков М.В., Стотланд И.А., Муштаков Р.Е. Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров. Труды Института системного программирования РАН. 2016;28(3):161-172. https://doi.org/10.15514/ISPRAS-2016-28(3)-10

For citation:

Petrochenkov M., Stotland I., Mushtakov R. Approaches to Stand-alone Verification of Multicore Microprocessor Caches. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(3):161-172. https://doi.org/10.15514/ISPRAS-2016-28(3)-10