An implication operator->can be used in a constraint expression to show conditional relationship between two variables. If the expression on the LHS of->operator is true, then the constraint expression on the RHS will be satisfied. If the LHS is not true, then RHS constraint expression is not...
(2)在同时指定dist概率分布时,without order的概率理论值分析方法暂时没有确定,同时也没有和测试值吻合。(SV语法手册中关于dist分布和其他constraint产生冲突时,给出的描述:Absent any other constraints, the probability that the expression matches any value in the list is proportional to its specified weight. ...