---------------------------------------------------------------------- -- node RisingEdge -- returns true if input changes from negative to positive ---------------------------------------------------------------------- node RisingEdge( X : bool ) returns ( Y : bool ); let Y = false -> X and not pre X; tel