Rocket

Tool

First seen 6/2/2026

Last seen 7/13/2026

Evidence 18 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

8 connections

DiFuzzRTL ← evaluates 100% 2e

DifuzzRTL is evaluated on the Rocket core

RISC-V ISA implements → 100% 2e

Rocket is a RISC-V processor implementing the RISC-V ISA.

Chisel HDL uses → 100% 2e

Rocket is written in Chisel HDL.

The paper evaluates Rocket as a target CPU design for ENCARSIA.

MorFuzz ← evaluates 100% 2e

MorFuzz was evaluated on the Rocket processor.

RISC-V implements → 100% 1e

Rocket is an open-source RISC-V CPU design.

FIRRTL uses → 80% 1e

Rocket processor is written in Chisel which compiles to FIRRTL.

Cascade ← evaluates 100% 1e

Cascade is evaluated on Rocket and finds bugs in it