Example for BandRising (in every true condition phase, a minimum
number of check rising edges must occur and the number of check
rising edges is bounded)
Using check block BandRising
as

results in
|
 |
|
simulation result |
Generated at 2026-06-12T20:26:55Z by OpenModelicaOpenModelica 1.26.8 using
GenerateDoc.mos