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

DASA13

已于 2024-06-07 10:28:42 修改

阅读量195

点赞数 1

文章标签：嵌入式硬件

于 2024-06-06 17:39:58 首次发布

本文链接：https://blog.csdn.net/u012723003/article/details/136281323

版权

一、VCS仿真问题：

1、问题：random随机约束数组变量长度超过默认值10000会在仿真过程中报Warning：

Warning-[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_warn=<num> to adjust the array size warning limit.

解决方案：在仿真选项中（注意不是编译选项）添加：+ntb_solver_array_size_warn=20000，消除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).”