In reply to cgales:
I’ve tried it out in another Big Three simulator and there I also get '{ 0, 0, 0, 0 } for the first call to randomize() (i.e. it randomizes the dynamic array, but not its elements). I don’t think this is in the spirit of rand_mode(0) and agree with what Questa does (fails the randomization because the constraint can’t be met if the array isn’t randomized). Unfortunately, the standard isn’t 100% clear on what should happen in this case and it seems that other vendors interpreted it differently.