[SV] 数组的约束 注意事项 - bulaqi/IC-DV.github.io GitHub Wiki

1.尽量在transaction 内constain中减少负载的约束, 2.对数组约束,需要注意,复杂度不要太高 3.约束如果太复杂,求解器计算太慢,或者失败,所以可以将约束中的复杂计算移到post_randmize中.