verismith is a Verilog fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.