User`s guide

18 Coverage Collection During Simulation
18-56
State Details Report Section
For each state in a chart, the coverage report includes a State section with details about
the coverage recorded for that state.
In the sf_boiler model, the state On resides in the box Heater. On is a superstate that
contains:
• Two substates HIGH and NORM
• A history junction
• The function warm