sv--权重分布

dist 操作符允许产生权重分布

:= 表示值范围内的每一个值的权重都是相同的

:/ 表示权重要均匀分布到值范围内的每一个值

rand int src,dst;

constraint c_dist {

      src dist {0:=40,[1:3]:60};

//src=0, weight=40/(60*3 +40)

//src=1 ,weight=60/220

//src=2,weight =60/220

//src=3,weight=60/220

    dst dist {0:/40,[1:3]:/60};

//dst=0, weight=40/(60+40)

//dst=1 ,weight=20/(40+60)

//dst=2,weight =20/100

//dst=3,weight=20/100

}