condition = Until(u=...).y;
Until the first rising edge of Boolean input u, output y = true. Afterwards, y = false. If input u = true at initialization, y = false always.
This block is demonstrated with the following example:
results in
simulation result |