In reply to dave_59:
Dave,
How do we set the cmd line seed? and how do we give a global seed in SV code?