Random stability question: how is the thread RNG used for running $urandom, $urandom_range, array.shuffle and randcase

SystemVerilog
3

In reply to robert.liu:

The LRM describes random stability in terms of a seeds for threads and objects. It lists the operations that advance the random number generator (RNG) to the next state. The 1800-2017 LRM recently clarifies all the operations that advance the RNG to the next state. The seed drives the value chosen by the constraint solver, not the other way around. So 1) is the correct behavior.