Seed Verilog random numbers with RANDOM_SEED