rules_verible

Bazel rules that wrap the Verible SystemVerilog/Verilog tools — verible-verilog-format, verible-verilog-lint, and verible-verilog-diff — for projects that build with rules_verilog.

Setup

Add to MODULE.bazel:

bazel_dep(name = "rules_verilog", version = "1.1.1")
bazel_dep(name = "rules_verible", version = "{see_releases}")

Use in a BUILD.bazel:

load("@rules_verilog//verilog:defs.bzl", "verilog_library")
load("@rules_verible//verible:defs.bzl", "verible_format_test", "verible_lint_test")

verilog_library(
    name = "adder",
    srcs = ["adder.sv"],
)

verible_format_test(
    name = "adder_format_test",
    target = ":adder",
)

verible_lint_test(
    name = "adder_lint_test",
    target = ":adder",
)

Documentation

Full rule documentation, the .bazelrc setup for aspect-driven checks, toolchain overrides, and the fixer commands are at https://hw-bzl.github.io/rules_verible/.