Functional Verification Strategy for an Open-Source High-Performance L1 Data-Cache for RISC-V cores - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2023

Functional Verification Strategy for an Open-Source High-Performance L1 Data-Cache for RISC-V cores

Résumé

The verification of caches is particularly challenging, as it is necessary to ensure that the memory consistency is ensured in all conditions and modern caches contain many complex features (out of order execution, write buffer, multiple request ports) and a complex micro-architecture in order to ensure high-performance. The recently released, Open-Source High Performance L1 Data Cache (HPDCache) for the RISC-V is delivered as a highly configurable RTL model, compounding the verification challenge as correct behaviour must be ensured for all combinations of the parameters. An approach combining pseudo random constraint and directed random test within the framework of Universal Verification Methodology (UVM) is used to be able to verify HPDcache.
Fichier principal
Vignette du fichier
2023-06-07-Tanuj-KHANDELWAL-poster.pdf (742.78 Ko) Télécharger le fichier
2023-06-07-Tanuj-KHANDELWAL-abstract.pdf (350.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04392800 , version 1 (14-01-2024)

Identifiants

  • HAL Id : hal-04392800 , version 1

Citer

Tanuj Khandelwal, Ludovic Pion, César Fuguet, Adrian Evans. Functional Verification Strategy for an Open-Source High-Performance L1 Data-Cache for RISC-V cores. RISC-V Summit 2023, Jun 2023, Barcelona, Spain. ⟨hal-04392800⟩
11 Consultations
24 Téléchargements

Partager

Gmail Facebook X LinkedIn More