assert一个信号是否toggle这种应该怎么书写比较好

sages

比如有一个信号A，要监测A有从0到1的变化。一般来说，我们可以书写property如下
@(posedge clk)
   (A==0)|->(A==1)[->1];

但是这样做有一个弊端就是，每个clk都会触发这个property去监测A，会导致仿真会十分慢。于是小弟想可否用如下的方法来监测。
但是发现这样没法assert。

@(posedge A)
   (A==1);

求问一下如何书写比较好呢

sages

@(posedge A)
   1；

如上写法可以实现。。。自问自答了。。。