polito.it
Politecnico di Torino (logo)

Verification Methodologies for Digital Design

Irene Gresti

Verification Methodologies for Digital Design.

Rel. Maurizio Zamboni, Fabrizio Riente, Mariagrazia Graziano. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2021

Abstract:

The difficulties of System on Chip (SoC) verification and debugging have increased at the same exponential rate as Integrated Circuits (IC) hardware complexity. Over the years, design engineers developed different techniques and approaches trying to minimize verification time and reach the highest possible debug coverage. This thesis describes the System Verilog (SV) language fundamental concepts applying Object Oriented Programming (OOP) and the time limits of standard verification methodology. Universal Verification Methodology (UVM) concepts are also detailed explained to show the advantages of this approach. This methodology is based on a hierarchical testbench (TB) structure created by Accelera and gathers reusable code and less debugging time consumption on long-term projects. Additionally, both methodologies have been applied to practical case studies, where randomized stimuli have been sent to a Device Under Test (DUT) and its outputs have been compared with the expected ones predicted by TB. The test cases have proved that TB creation time for examples with standard methodology has been much longer than the one for the TBs UVM examples. Furthermore, UVM TB portability allowed to reuse each component with just minor changes rather than standard methodology where each component was re-coded for each case. In the end, an example of functional coverage code has been implemented to show how it is possible to debug specific behaviors of a DUT and measure if TB is effectively analyzing the DUT functions rather than doing only a code verification.

Relatori: Maurizio Zamboni, Fabrizio Riente, Mariagrazia Graziano
Anno accademico: 2021/22
Tipo di pubblicazione: Elettronica
Numero di pagine: 107
Informazioni aggiuntive: Tesi secretata. Fulltext non presente
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering)
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-29 - INGEGNERIA ELETTRONICA
Aziende collaboratrici: NON SPECIFICATO
URI: http://webthesis.biblio.polito.it/id/eprint/21164
Modifica (riservato agli operatori) Modifica (riservato agli operatori)