|
edge − Edge detector |
|
loadrt edge [count=N] |
|
edge.N |
Produce output pulses from input edges |
|
edge.N.in bit in |
|
edge.N.out bit out |
|
Goes high when the desired edge is seen on ’in’ |
|
edge.N.out-invert bit out |
|
Goes low when the desired edge is seen on ’in’ |
|
edge.N.in-edge bit rw (default: TRUE) |
|
Selects the desired edge: TRUE means falling, FALSE means rising |
|
edge.N.out-width-ns s32 rw (default: 0) |
|
Time in nanoseconds of the output pulse |
|
edge.N.time-left-ns s32 r |
|
Time left in this output pulse |
|
edge.N.last-in bit r |
|
Previous input value |
|
GPL |