请问systemverilog中dist分配的权重怎么计算

比如sa dist {[5:7]:=50, 9:=80};
这里的权重之和是大于100的，不是很清楚此时5,6,7,8出现的概率到底是多少?查了标准，对这一块也没说清楚，请大家帮忙解答一下，谢谢！

比如sa dist {[5:7]:=50, 9:=80};
这里的权重之和是大于100的，不是很清楚此时5,6,7,8出现的概率到底是多少?查了标准，对这一块也没说清楚，请大家帮忙解答一下，谢谢！

比如sa dist {[5:7]:=50, 9:=80};
这里的权重之和是大于100的，不是很清楚此时5,6,7,8出现的概率到底是多少?查了标准，对这一块也没说清楚，请大家帮忙解答一下，谢谢！

5:50,6:50,7:50,9:80

权重同楼上，概率5:50/(3*50+80), 6:50/(3*50+80), 7:50/(3*50+80), 9:80/(3*50+80)

谢谢两位的解答！