验证问题总结（持续更新）

一、VCS仿真问题1、 问题random随机约束数组变量长度超过默认值10000会在仿真过程中报WarningWarning-[CNST-LASW] Constraint large array size warning Variable haddr_q.size() has value 100000, which may cause severe performance degradation.Please try to reduce the array size. You can use ntb_solver_array_size_warnnum to adjust the array size warning limit.解决方案在仿真选项中注意不是编译选项添加ntb_solver_array_size_warn20000消除Warnning二、XRUN仿真问题1、问题xrun无法识别disable fork_name如下所示disable run无法kill掉fork join_any语句块中的while(1)进程导致死循环。解决方案Candence不支持disable label这种语法只能用disable fork“Cadence support site recommends that when a fork is to be disabled it is to be disabled using the disable fork statement and not the disable fork_process_label construct,the reason being that the disable fork_process_label construct for forks is not defined in the IEEE Std 1800-2017 LRM. See section 9.6.2 of the LRM (2017).”