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