Haskell

Verismith
Verilog Fuzzer to test the major verilog compilers by generating random, valid Verilog.