Pierfrancesco Antonio Boccardi. Compiler to generate RTL from Spec for Power Management System. Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2022