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