Functional Verification of a RISC-V Vector Accelerator. - Víctor Jiménez; Mario Rodríguez; Marc Domínguez; Josep Sans; Ivan Diaz; Luca Valente; Vito Luca Guglielmi; Josue V. Quiroga; R. Ignacio Genovese; Nehir Sönmez; Oscar Palomar; Miquel Moretó (IEEE Des. Test, 2023)