[sv-ec] srandom for thread seeding

Hi folks,

I've been comparing the Accelera SV3.1a standard and IEEE 1800, and it's 
not clear what happened to srandom(). 3.1a provides both $srandom and 
process::self().srandom() for seeding a thread. IEEE 1800 appears to 
have removed $srandom(). process::self().srandom() is referred to in a 
few places in the 1800 text, but appears to have been removed from 
section 11.9 defining the process built-in class. What's the status of 
thread seeding in 1800?

Thanks,
Mike Burns
Freescale