verilog random函数用法