我遇到一种情况，设计中的一个信号必须断言至少一个周期，而另一个信号必须断言至少 X 个周期。
期望的结果：
通过： 通过示例1
通过： 通过示例2
通过： 通过示例3
失败： 失败示例 1
我想编写一个属性来使用 SVA 检查这一点，本质上捕获 和 之间的内容posedge，negedge必须sig_1同时sig_2具有$rose()和$fell()。
我尝试过类似的东西...
property prop_sig_2_while_sig_1;
@(posedge clk)
$rose(sig_1) ##[0:$] $rose(sig_2) ##[0:$] $fell(sig_2) ##[0:$] $fell(sig_1);
endproperty : prop_sig_2_while_sig_1
但不幸的是，这并没有达到预期的效果。
有没有一种简单有效的方法来实现这一目标？