Giuseppe Stracquadanio. VeriBug: Attention-based Bug Detection and Diagnosis of Hardware Designs. Rel. Stefano Quer. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023