断言来检查时钟边界的信号转换

Question

我想做一个断言，它只检查时钟正边沿的信号转换。如果信号改变而不是正边沿，它应该会产生一个错误。

Answer 1

尝试这一个：

A1：断言属性（@（时钟）的时钟== 1'b1的| =>信号== $过去（信号））;