User`s guide

18 Coverage Collection During Simulation
18-60
The decision for this transition depends on the time delay of 40 seconds and the condition
[cold()]. If, after a 40 second delay, the environment is cold (cold() = 1), the