SVA 再了解(五)

實際上，我們trace這個REQ的$rose，它的trigger 點是在CLK的edge上
，然後對REQ的上一個cycle到這個cycle的變化為rising時，視之為條件成立