Rahul Kumar Budhwani. Extending scope of CPU MMU verification. Rel. Carlo Ricciardi. Politecnico di Torino, Corso di laurea magistrale in Nanotechnologies For Icts (Nanotecnologie Per Le Ict), 2021