Rocket
CodeArtifactRocket is a real-world open-source RISC-V processor used as an evaluation target for MorFuzz. In the MorFuzz study, Rocket is notable for supporting delayed write-back, which affects co-simulation-based state comparison because long-latency instruction results may not be ready at commit.
WIKI
Overview
Rocket is identified in the MorFuzz USENIX Security 2023 paper as one of three real-world open-source processors used to evaluate a RISC-V prototype of MorFuzz, alongside CVA6 and BOOM. The evaluated processors are described collectively as covering microarchitectures ranging from simple in-order cores to complex out-of-order superscalar cores. [citation: rocket-morfuzz-evaluation]
Role in MorFuzz evaluation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →