Verilator
ToolVerilator is an open-source SystemVerilog simulator and lint system. It compiles Verilog/SystemVerilog designs into optimized, potentially multithreaded C++/SystemC models that run faster than interpreted simulation. Verilator is used as the RTL simulation backend in several hardware-fuzzing and verification frameworks (including ProcessorFuzz, RFuzz, DirectFuzz, and FuSS), and is the basis for ongoing work on UVM testbench support via the uvm-verilator project.
First seen 5/26/2026
Last seen 7/12/2026
Evidence 55 chunks
Wiki v5
WIKI
Verilator
Overview
Verilator is an open-source SystemVerilog simulator and lint system. Its public GitHub repository is verilator/verilator. [citation: Verilator is an open-source SystemVerilog simulator and lint system]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
44 connections Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← uses 90% 4e
The paper references Verilator used in the experimental setup.
ProcessorFuzz uses Verilator for RTL simulation of processor designs.
The paper uses Verilator to translate the Verilog RTL processor into C++ for co-simulation.
Verilator is an open-source RTL simulator that converts hardware designs to C++ functional models
RISCSmith uses Verilator to compile and simulate instrumented RISC-V implementations.
Verilator is being adopted for UVM-style verification workflows.
StimulusRL can be integrated into Verilator-based simulation flows.
The paper uses Verilator to generate RTL-based execution models
The article reports upstream UVM 2017 support in Verilator, indicating implementation of UVM features.
The paper uses Verilator to translate the RTL-core to C++ for co-simulation.
Antmicro uses and develops Verilator towards full SystemVerilog support.
DiffTest-H is compared against 16-thread Verilator for simulation speed.
Verilator translates RTL (Verilog) descriptions into cycle-accurate C++ equivalents.
The paper uses Verilator to obtain a C++ description of the RTL core.
Cascade uses Verilator feedback for coverage-guided fuzzing.
Verilator is used to translate RTL designs into C++.
RFuzz uses Verilator to simulate the DUT in its simulation-based approach.
DirectFuzz uses Verilator for hardware simulation, like RFuzz.
FuSS uses Verilator to convert hardware models into cycle-accurate software models.
Verilator implements cycle-accurate simulation of hardware designs.
HARTBREAKER uses Verilator to simulate designs under test.
Verilator is used as a single-threaded RTL simulator
The LLM4DV framework uses Verilator for simulation and testing of DUT modules.
Verilator now implements constrained randomization as introduced by Antmicro.
Verilator uses SMT solvers in the implementation of randomization constraints.
Verilator uses z3 as an SMT solver for implementing randomization constraints.
Verilator uses cvc5 as an SMT solver for implementing randomization constraints.
Verilator converts SystemVerilog expressions to SMT-LIB2 as part of its constraint solving integration.
HiFuzz is implemented on top of Verilator for RTL simulation.
ZP Cosim supports simulation using Verilator as a backend
XiangShan supports Verilator as a simulation backend.
Verilator is used for RTL simulation in ProcessorFuzz.
Verilator is used to compile the RTL-core into C++ for integration into the co-simulation.
Verilator is an open-source tool implementing RTL simulation.
Ibex depends on Verilator for its build process within TestRIG.
Toooba depends on Verilator as part of its build requirements.
DeepVerifier uses Verilator as an RTL simulator to obtain coverage scores during training.
The paper uses Verilator as the simulation backend.
Verilator generates the RTEM from Verilog RTL
The ongoing effort explicitly aims to enable UVM testbenches to run under Verilator.
The repository’s purpose is to enable UVM testbenches in Verilator, implying a dependency on Verilator.
FuzzWiz uses Verilator to convert RTL files into C++ models.
DIFUZZRTL uses Verilator as an RTL simulator for software simulation.
The paper uses Verilator as an RTL simulator to capture coverage scores from test sequences.
CITATIONS
11 sources11 citations — click to expand
[1] Verilator is an open-source SystemVerilog simulator and lint system, with public repository verilator/verilator. verilator/verilator
[2] Verilator compiles Verilog or SystemVerilog code into an optimized, potentially multithreaded model wrapped in a C++/SystemC module, executing faster than interpreted simulators and on par with or better than many closed-source simulators. Fuzzing IPv4 modules on FPGAs
[3] ProcessorFuzz uses Verilator as the open-source RTL simulator for all evaluated processor designs, comparing RTL trace logs against ISA trace logs. Fuzzing IPv4 modules on FPGAs
[4] RFuzz uses Verilator to simulate the DUT on the CPU side of an SoC, communicating with the fuzzer via shared-memory buffers. Fuzzing IPv4 modules on FPGAs
[5] DirectFuzz builds on RFuzz and likewise uses Verilator for hardware simulation. Fuzzing IPv4 modules on FPGAs
[6] FuSS uses Verilator to convert hardware models into cycle-accurate software models; Verilator serves as the backend due to precise modeling of synthesizable Verilog designs. FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution
[7] The Cascade artifact uses Verilator v5.006 and provides an explicit reinstall procedure if the running Verilator version produces an unknown-warning error. comsec-group/cascade-artifacts
[8] Long-running efforts led by Antmicro, Wilson Snyder, and open-source contributors enable UVM testbenches in Verilator via the uvm-verilator project, with upstream UVM 2017 support as a milestone. CHIPS Alliance SV Tools Project launch
[9] The CHIPS Alliance sv-tests suite tracks Verilator's SystemVerilog feature support and was used to track milestones such as the addition of UVM support to Verilator. CHIPS Alliance SV Tools Project launch
[10] Verilator is discussed in a survey of RISC-V processor verification alongside RVVI-Trace, RVVI-VVP, and RISCV-DV as part of the open-source verification ecosystem. Survey of Verification of RISC-V Processors
[11] A DATE 2022 cross-level processor-verification excerpt references https://www.veripool.org/verilator/ but does not provide enough surrounding detail to support stronger claims about its role in that work. Verilator project page