Matteo Zappia. Modeling of RISC-V Exceptions for Hardware Code Generation. Rel. Danilo Demarchi, Daniel Muller-Gritschneder. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2018