Pietro Fagnani. RTL UNR code analysis for verification closure applied to digital designs. Rel. Maurizio Martina. Politecnico di Torino, UNSPECIFIED, 2024