Politecnico di Torino (logo)

UVM Environment for RISC-V processor

Leonardo Barraco

UVM Environment for RISC-V processor.

Rel. Edgar Ernesto Sanchez Sanchez, Annachiara Ruospo. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2021

PDF (Tesi_di_laurea) - Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives.

Download (2MB) | Preview

This thesis focuses on processor functional verification, the DUV(Device Under Verification) here is RISC-V RV32IMFCXpulp. Functional verification ensures that the implementation of a digital design is compliant with specifications before it is mass-produced. Because of the fast growth of device size and complexity, functional verification has become the bottleneck in the design process. Functional verification can take up to 70\% of the time, while the design phase requires around 30\% of the total time. In particular, the device under verification supports I-M-F-C-X extensions which are respectively Base Integer, Integer Multiplication and Division, Single Precision Floating Point, Compressed and PULP-specific. It is clear to understand that the RTL(Register-Transfer-Level) is very complex and as a result, a properly verification framework is necessary. This work is mainly based on the use of Universal Verification Methodology (UVM) to set-up a complete verification environment for RISCV processors and Python scripts to generate random stimuli accordingly to the ISA(Instruction Set Architecture). The UVM class library provides us with some of the components typically required in a verification environment such as: -The Driver, which translate the stimuli produced by the generator into the actual inputs for the design under verification. -The Monitor, which collects the internal signals of the design and its outputs to a transaction object. -The Scoreboard-checker validate that the actual results match the expected ones.

Relators: Edgar Ernesto Sanchez Sanchez, Annachiara Ruospo
Academic year: 2020/21
Publication type: Electronic
Number of Pages: 106
Corso di laurea: Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering)
Classe di laurea: New organization > Master science > LM-29 - ELECTRONIC ENGINEERING
Aziende collaboratrici: UNSPECIFIED
URI: http://webthesis.biblio.polito.it/id/eprint/18053
Modify record (reserved for operators) Modify record (reserved for operators)