An approach to test program generation for memory coherence verification of “Elbrus” microprocessors

Одним из ключевых аспектов корректности подсистемы памяти микропроцессора является ее функционирование в соответствии с протоколом когерентности памяти. В данной статье представлен подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров семейства "Эльбрус". Рассмотрены требования к тестовым программам когерентности памяти. Представлена структура карты памяти, позволяющая гибко описывать используемые в тестовых программах области памяти и типы обращений к ним. Описан метод генерации тестовых программ на основе карты памяти. Предложен способ автоматической генерации карт памяти. Сгенерированные тестовые программы использовались при проведении верификации на RTL-моделях и прототипах на базе ПЛИС.