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