SV 双向约束与函数应用问题记录

背景：项目要求5G步进增删业务；总时隙640，有160个5G时隙，也就是说在添加小于5G时隙的业务时，占不满5G时隙。如果是满带宽等场景，会导致随机出来的5G步进时隙超过160，不满足要求。

解决方案：

方案1，先随机出160个5G大时隙，再根据每个通道分配的大时隙，随机出真实的时隙业务。在满带宽场景中，无任何问题，但是在总时隙只分配1的情况下，会导致求解过于复杂，导致求解失败。

方案2，先大随机一波，等到随机完成之后，再计算5G大时隙是否满足要求，无法满足要求则继续随机-》由于随机过程中，种子由外部传入，不修改种子，每次随机的值都是一样的，无法解决当前问题。若修改种子，则导致整个验证过程的种子无法复现，不利于定位问题，故摒弃。

方案3，由于无法解决该问题，在咨询大佬之后，给的建议是采用constraint中带函数参数进行5G大时隙限制，最终代码如下，采用函数约束
在实际回归过程中发现，依然存在问题
报错结果表明，ts_num_map里面的值没有被修改，反而是因为结果不合法而随机失败。查阅网上帖子和资料，找到约束中的函数限制如下
约束中的函数只能使用局部变量而无法修改类变量，使得函数约束是单向约束，不会因为5G时隙数大于设定时隙数而修改ts_num_map的值，故导致问题依然出现。

方案4，由于语法手册中描述到C2约束是一种双向约束，于是想到，通过双向约束是否可以使得5G大时隙不符合要求而改变ts_num_map呢，应该是可以的，这里就有个选择，到底是手写80个通道的ts_num_map[i]还是用脚写的问题。最终我们选择了通过sum函数来实现该方案。
通过定义临时变量，让临时变量传递这种双向约束的方式，我们间接的修改了ts_num_map，使得完全随机且满足5G步进的约束，大功告成。