Approaches to Stand-alone Verification of Multicore Microprocessor Caches

Συγγραφείς: M. . Petrochenkov, I. . Stotland, R. . Mushtakov

Πηγή: Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 161-172 (2018)

Θεματικοί όροι: многоядерный микропроцессор, кэш-память, внеочередное исполнение, тестовая система, недетерминированное поведение, верификация на основе эталонных моделей, автономная верификация, «sparc-v9», микропроцессор «эльбрус», Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/115; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/8cb468c606d64161ac2ec078e6183c72