seed
Type: option
Description: seed
Generated from:
gemc help seed
-seed=<value> ..............: seed
Random Seed: set the random seed to an integer value. Default:
If the random seed is set to -12345, the seed will be set using a combination of:
- local time
- process id
- clock function