RAVEN: A Virtual Platform for RISC-V Microarchitectural Security | Synapse