TY  - RPRT
TI  - Functional ISS-Driven Verification of Superscalar RISC-V Processors
AU  - Andrea Galimberti
AU  - Marco Vitali
AU  - Sebastiano Vittoria
AU  - Davide Zoni
PY  - 2025
DO  - 10.1109/icecs61496.2024.10848613
UR  - https://arxiv.org/abs/2407.21192
ID  - 2407.21192
ER  -