Qibo Peng. A Hybrid Approach For Interrupts Verification. Rel. Luciano Lavagno, Mario Roberto Casu. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023