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 not provided, it will be set using a combination of:
- local time
- process id
- clock function