Verible
ToolVerible is identified in the RISC-V DV repository documentation as the tool used to check Verilog style. The repository provides a script to install Verible and recommends running Verilog style checks and fixing violations before submitting pull requests.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
Verible is described in the RISC-V DV repository as the tool used to check Verilog style.[1]
Use in RISC-V DV
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsRISCV-DV uses Verible for Verilog style checking.
CITATIONS
4 sources4 citations — click to collapse
[2] The RISC-V DV repository provides verilog_style/build-verible.sh as the command to install Verible. chipsalliance/riscv-dv
[3] The RISC-V DV documentation recommends running Verilog style checks and cleaning up style violations before submitting a pull request. chipsalliance/riscv-dv
[4] RISC-V DV is a SystemVerilog/UVM-based open-source instruction generator for RISC-V processor verification and requires an RTL simulator supporting SystemVerilog and UVM 1.2. chipsalliance/riscv-dv