Functional and formal verification on submodules of a vector processing unit based on RISC-V V-extension
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/334888
Realitzat a/ambPolitecnico di Torino
Tipus de documentProjecte Final de Màster Oficial
Data2020-09
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This thesis was developed while working at Barcelona Supercomputing Center, a research center specialized in High Performance Computing and investigation in many fields, such as cloud computing, bioinformatics, material science and more. Taking part to European Processor Initiative (EPI) project, the whole thesis aims to perform the verification process on a Vector Processing Unit (VPU). The implemented Vector Processing Unit is based on the RISC-V V-Extension, which is a set of specifications defining the Instructions Set Architecture (ISA) of a vector core. The V-Extension is currently on develop by the RISC-V foundation. This manuscript will refer to the versions 0.7.1. The first chapter consist of an introduction of the needed concepts and of the context in which this thesis is been developed. Then, in the second chapter, all the techniques used to verify functionally and formally this VPU are discussed. All the results, such as found bugs or created material, are displayed in the third chapter. Moreover, analysing these results, the efficacy of the techniques used is evaluated. It is shown how formal and functional tools can be used to find bugs or to better define specification. In the last chapter, it is possible to conclude that the techniques adopted produced the expected results showing significant improvements in the verification effort.
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
TFM_Guglielmi_Vito_Luca.pdf | 1,975Mb | Visualitza/Obre |