Echelon I/O Model Reference for Smart Transceivers and Neuron Chips - Manual (Page 196)

186 Timer/Counter Output Models
In Figure 72, an io_out( ) function call is executed with a count argument of 11.
After 11 negative edges at the input pin, the output goes low. The delay from the
last input edge to the output falling edge is 50 ns or less for a Series 3100 device
with an input clock of 40 MHz, or 12.5 ns or less for a Series 5000 device with an
80 MHz system clock.
Figure 72. Triggered Count Output
Usage
unsigned long output-value ;
io_out( io-object-name , output-value );
Example
IO_0 output triggeredcount sync (IO_4) ioCascader;
when (...) {
// 1 big output pulse for 10 input pulses
io_out(ioCascader, 10);
}