Applying formal verification techniques to verify a Fetch Unit - Jiménez González, Adrián; Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Moreno Vega, Alberto; Espasa Sans, Roger (Universitat Politècnica de Catalunya, 2024)