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

Question

我想做一个断言，它仅在时钟的上升沿检查信号的转换。如果信号变化而不是正边缘，则应该产生错误。

Answer 1

试试这个：

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