User`s guide

2 Links Between Models and Requirements
2-46
2
Requirement 2 (Autodown feature) - If the driver presses the down button for less
than 1 second, the controller keeps issuing the down command until the end has
been reached, or the driver presses the up button. This requirement is modeled in
Verification Subsystem3
See Design Verifier Temporal Properties example for more details.
open_system('slvnvdemo_powerwindow_vs');