SystemC/Verilog Random Number Generator