$rise and $fell in assertions

[kunal1514]

Hi All,

I have question.

If there is a transition from

z --> 1, 0 --> 1, x --> 1, z --> 0, 1 --> 0, x --> 0

What all the transitions will "$rise" and "$fell" will detect.

 

[ljxpjpjljx]

$rise will detect 0>1, x->1 and $fell will detect 1>0 and x->0 !