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