Assertion: signal | /r/CapableOf | exceed their specified ranges
Facets:
value: during simulation
type: TEMPORAL
Source sentences:
text: Simulink provides a diagnostic for detecting when blocks generate signals that exceed their specified ranges during simulation.