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
