Functional ISS-Driven Verification of Superscalar RISC-V Processors.

Andrea Galimberti Marco Vitali Sebastiano Vittoria Davide Zoni

Published in: CoRR (2024)

Keyphrases

instruction set
floating point
functional verification
computer architecture
application specific
data driven
embedded systems
model checking
multithreading
parallel algorithm
real time
formal verification
fixed point
parallel computing
fine grained
signature verification
multiresolution