L_EstabReq 1 clear-signal-definitions L_SetparmReq define-signal L_SetparmReq clear-signal-definitions L_DataReq define-signal L_DataReq 0 86 define-signal L_DataReq 0 39 define-signal - L_DataReq 1 86 define - signal L_DataReq 1 39 H. Remove the following lines from the file: define-signal L_DataReq 0 39 define-signal - L_DataReq 1 86 194 Validation of Communications Systems with SDL I. Check that sig_defs.com contains, mixed with Clear-Test-Values commands, the following test values: define-test-value integer 86 define-test-value integer 39 define-test-value DLCident 0 define-test-value DLCident 1 J. Check that sig_defs.com contains the following signal definitions: clear-signal-definitions L EstabReq define-signal L EstabReq 0 define-signal L_EstabReq 1 clear-signal-definitions L EstabResp define-signal L EstabResp clear-signal-definitions L_SetparmReq define-signal L_SetparmReq clear-signal-definitions L SetparmResp define-signal L SetparmResp clear-signal-definitions L_ReleaseReq define-signal L_ReleaseReq 0 define-signal L ReleaseReq 1 clear-signal-definitions L_DataReq efine-signal L_DataReq 0 86 define-signal L_DataReq 1 39 K. Add the following line at the end of sig_defs.com, to disable the channel dis and save it: channel-disable dis L. Select File > Restart, and answer No. Select Commands > Include Commands Script and open sig_defs.com. M. Press on List Signal, and check that you get the following result shown in Figure 7.15. 7.3.1.4 Run the exhaustive simulation A. Press on Exhaustive, and after 150000 system states, press on Break; the Validator displays: Starting exhaustive exploration ** Search depth : 100 Passing 50000 system states Passing 100000 system states Passing 150000 system states Break at user input *** Exhaustive exploration statistics No of reports: 9 Generated states : 276000 Exhaustive Simulation 195 SDL Validator UI - V76test_vlc.exe File View Button: Log Commands Options1 Options2 Autolink1 Autolink2 Help EXPLORE Group Command : List-Signal-Definitions L EstabReq (0) Bit-State Rand