system-verilog - 用于标记不正确的 verilog 事件区域的 SV 断言

Question

如果在verilog事件队列中的NBA区域中切换信号，是否有系统verilog构造可以标记错误？就像是

if($toggled_in_nba(clk))
begin
     `uvm_error()
end

Answer 1

语言中没有任何内容。无论如何，NBA 地区没有任何变化——活跃地区的一切都在变化。当活动区域中没有更多事件时，非活动区域中的事件变为活动状态，可能会调度更多事件。这会递归地进行，直到在活动或非活动区域中没有安排更多的事件。然后在 NBA 地区安排的赛事开始活动，并且这个循环一直持续到任何地区没有更多赛事为止。只有这样，时间才能前进。

大多数工具都能够按照模拟器的相同顺序记录信号变化，因此您可以看到相对顺序。但是您可能想查看XY 问题，以确保您已经真正解释了您要完成的工作。