Does modelsim pe support rand