An example of random verification for verilog RTL module with QuickCheck library of Haskell.