Leonardo Bellettini. L1 Memory System Formal Verification of a Cortex-R class CPU at Arm. Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2021