Logo Politecnico di Torino
ENIT
WebThesis

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, Master of science program in Electronic Engineering, 2024