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-05-09T18:18:56Z by OpenModelicaOpenModelica 1.26.7 using
GenerateDoc.mos