Edoardo Bollea. Verifying Register Maps with Formal Verification How Formal compares to Universal Verification Methodology. Rel. Maurizio Martina, Guido Masera. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2021