ITEN
WebThesis Logo Politecnico di Torino

RTL UNR code analysis for verification closure applied to digital designs

Pietro Fagnani

RTL UNR code analysis for verification closure applied to digital designs.

Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2024