【发布时间】：2017-07-20 18:37:33
【问题描述】：
我必须在我的监视器中编写以下并发断言：
assert property (vif.cos == 1 |-> vif_out.y == vif.xi/sqrt(2));
我尝试将其放入 run_phase，但出现以下错误： 任务/类方法中不允许并发断言。
我应该把它放在哪里？
【问题讨论】：
-
您可以在模块、接口、程序、时钟块或包内声明并发断言。如果有任何其他范围可以声明并发断言，请纠正我。
标签： system-verilog assertions uvm system-verilog-assertions