Standalone functional verification of multicore microprocessor memory subsystem units based on application of memory subsystem models

The novel approach to functional verification of memory subsystem components of multicore microprocessors with multilevel memory organization are considered in this paper. Some benefits of application standalone simulation based verification are marked out. The approach is based on application of hi...

Full description

Saved in:
Bibliographic Details
Published in2015 IEEE East-West Design & Test Symposium (EWDTS) pp. 1 - 4
Main Authors Stotland, Irina, Meshkov, Aleksey, Kutsevol, Vitaly
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2015
Subjects
Adaptation models
Coherence
Computational modeling
Generators
Microprocessors
Protocols
Random access memory
Online AccessGet full text

Cover

More Information
Summary:The novel approach to functional verification of memory subsystem components of multicore microprocessors with multilevel memory organization are considered in this paper. Some benefits of application standalone simulation based verification are marked out. The approach is based on application of high-level memory subsystem model of microprocessor full-system simulator. It allows to build UVM based test system and do not develop reference model of the verified unit. The architecture of the test system and functions of its components are presented. The memory subsystem model with the build-in checker could help to find bugs during the simulation. The memory subsystem model of Elbrus microprocessor and the test system for L2-cache verification are described.
DOI:10.1109/EWDTS.2015.7493138