如何描述时钟上升沿和下降沿？

时钟脉冲的上升沿的条件可以写为：
IF clock_signal=current_value AND clock_signal’LAST_VALUE AND clock_signal’EVENT
也可以简写为：
IF clock_signal= clock_signal’EVENT AND current_value
时钟脉冲的下降沿的条件可以写为：
IF clock_signal=current_value AND clock_signal’LAST_VALUE AND clock_signal’EVENT

略