Politecnico di Torino (logo)

Verification Methodologies for Digital Design

Alessandro Gorgone

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


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.

Relators: Maurizio Zamboni, Fabrizio Riente, Mariagrazia Graziano
Academic year: 2021/22
Publication type: Electronic
Number of Pages: 107
Additional Information: Tesi secretata. Fulltext non presente
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/21163
Modify record (reserved for operators) Modify record (reserved for operators)