Skip to content
STIMSMITH

BOOM

CodeArtifact

BOOM is a UC Berkeley Berkeley Architecture Research Group RISC-V core generator written in Chisel. In the MICRO-54 paper “Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation,” the authors evaluated Dromajo and Logic Fuzzer–enhanced co-simulation on BOOM alongside CVA6 and BlackParrot, using the default MediumBoomConfig as a 2-wide out-of-order RV64GC core. The study describes Dromajo integration through BOOM’s reorder buffer, Logic Fuzzer congestor insertion enabled by BOOM’s Chisel/FIRRTL flow, and a BOOM mtval exception-reporting bug that was later absent in newer commits.

First seen 5/27/2026
Last seen 6/6/2026
Evidence 17 chunks
Wiki v2

WIKI

BOOM

BOOM is a RISC-V core generator developed and maintained at UC Berkeley’s Berkeley Architecture Research group. In the cited evaluation, BOOM is described as written in the Chisel hardware construction language and configurable to generate Verilog BOOM designs with varying complexity. The generated cores implement the 64-bit RISC-V instruction set. The evaluation used the default MediumBoomConfig, characterized in the paper as a 2-wide, out-of-order RV64GC core supporting M, S, and U privilege modes with SV39 virtual memory; the paper also notes that a more complex BOOM configuration had been taped out in 28 nm technology. [c1]

Role in Dromajo and Logic Fuzzer evaluation

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
MorFuzz ← evaluates 100% 4e
MorFuzz is evaluated on the BOOM RISC-V processor and discovers bugs in it.
The paper evaluates Logic Fuzzer and Dromajo on the BOOM RISC-V core.
Dromajo ← evaluates 100% 3e
Dromajo was integrated and evaluated with the BOOM core.
Logic Fuzzer ← evaluates 100% 2e
Logic Fuzzer was applied to BOOM, including inserting congestors at the ROB ready signal.
RISC-V ISA implements → 100% 1e
BOOM is a RISC-V processor implementing the RISC-V ISA.
UC Berkeley published by → 90% 1e
BOOM is a Berkeley Out-of-Order Machine, developed at UC Berkeley.
UC Berkeley authored by → 90% 1e
BOOM is the Berkeley Out-of-Order Machine developed at UC Berkeley.

CITATIONS

8 sources
8 citations — click to expand
[1] BOOM is maintained at UC Berkeley’s Berkeley Architecture Research group, written in Chisel, generates Verilog BOOM designs, implements 64-bit RISC-V, and the evaluated MediumBoomConfig is a 2-wide out-of-order RV64GC core with M/S/U privilege modes and SV39 virtual memory. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[2] The paper evaluated CVA6, BlackParrot, and BOOM, and for BOOM ran 228 ISA tests and 120 random tests. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[3] Across the evaluated cores, Dromajo alone found nine bugs, while Dromajo enhanced with Logic Fuzzer exposed thirteen bugs using the same tests. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[4] Dromajo can be integrated into BOOM by calling the DPI wrapper from monitor logic in the Reorder Buffer when the head instruction is valid and ready to commit. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[5] The paper implemented proof-of-concept automatic congestor insertion for BOOM using Chiffre/FIRRTL support for Chisel, and the experiment was limited to BOOM because Chiffre worked only with Chisel hardware descriptions. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[6] A BOOM Reorder Buffer ready-signal congestor caused 12 additional frontend signals, 40 core signals, and 32 load-store-unit signals to toggle. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[7] Bug ID B13 in BOOM involved a Dromajo-detected mtval mismatch where BOOM’s value was off by 2; the designer attributed it to compressed RISC-V exception handling on misaligned instructions, and it disappeared in later commits. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[8] Logic Fuzzer states may be unreachable by real programs, so mismatches are potential bugs requiring proof or disproof; the paper says presented bugs were designer-confirmed and also notes one unpublished BOOM false bug. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...