assert一个信号是否toggle这种应该怎么书写比较好
时间：10-02
整理：3721RD
点击：
比如有一个信号A，要监测A有从0到1的变化。一般来说，我们可以书写property如下
@(posedge clk)
(A==0)|->(A==1)[->1];
但是这样做有一个弊端就是，每个clk都会触发这个property去监测A，会导致仿真会十分慢。于是小弟想可否用如下的方法来监测。
但是发现这样没法assert。
@(posedge A)
(A==1);
求问一下如何书写比较好呢
@(posedge clk)
(A==0)|->(A==1)[->1];
但是这样做有一个弊端就是，每个clk都会触发这个property去监测A，会导致仿真会十分慢。于是小弟想可否用如下的方法来监测。
但是发现这样没法assert。
@(posedge A)
(A==1);
求问一下如何书写比较好呢
@(posedge A)
1；
如上写法可以实现。自问自答了。