Functional ISS-Driven Verification of Superscalar RISC-V Processors. - Andrea Galimberti; Marco Vitali; Sebastiano Vittoria; Davide Zoni (CoRR, 2024)