斷言來檢查時鐘邊界的信號轉換

Question

我想做一個斷言，它只檢查時鐘正邊沿的信號轉換。如果信號改變而不是正邊沿，它應該會產生一個錯誤。

Answer 1

嘗試這一個：

A1：斷言屬性（@（時鐘）的時鐘== 1'b1的| =>信號== $過去（信號））;