Extract coding rules from PR review comments and generate AGENTS.md files for any GitHub repository.

Extended and external tests for Verilator testing

RTLMeter benchmark suite

RTLMeter results and dashboard for Verilator

mbake is a Makefile formatter and linter. It only took 50 years!

Multi-platform nightly builds of open source digital design and verification tools

Verilator open-source SystemVerilog simulator and lint system

GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

Hierarchical Delta Debugging Framework

Announcements related to Verilator

A massively parallelized gcov wrapper

Verilog-Mode for Emacs with Indentation, Hightlighting and AUTOs. Master repository for pushing to GNU, verilog.com and veripool.org.