-
Veripool
- www.veripool.org
Stars
RTLMeter results and dashboard for Verilator
mbake is a Makefile formatter and linter. It only took 50 years!
Extended and external tests for Verilator testing
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.
Verilog-Mode for Emacs with Indentation, Hightlighting and AUTOs. Master repository for pushing to GNU, verilog.com and veripool.org.