GitHub repository: ymherklotz/verifuzz
Primary language: Haskell
Description: Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.