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
