Possible bug in uvm_create_random_seed()

[jeff.schroeder 0]

In uvm_create_random_seed() (in uvm_misc.svh) is the following code that returns different seed values for a given {type_id, inst_id}:

  seed_map.seed_table[type_id] = seed_map.seed_table[type_id]+seed_map.count[type_id]; 
  seed_map.count[type_id]++;

  return seed_map.seed_table[type_id];

The problem is that this can return a seed of 0, which is not a valid seed value to srandom().

Am I missing something, or is this really a bug?

Thanks,

Jeff Schroeder
 

[dave_59 34]

Where did you read 0 is not a valid seed?