Figure 7.17 End of the first error MSC trace We see that process dispatch in block DLCb is in state waitParmResp. If we look at the SDL model, under this state no input or save of signal v76frame are specified. Therefore, this signal has been discarded. 7.3.1.5 Correct the error To prevent the signal from being lost, you will add a save of signal v76frame in state wait- ParmResp of process dispatch. A. Exit from the Validator (answering No to the question). B. In Windows (or Unix), make a copy of the file dispatch.spr (the file containing process dispatch) into dispatch_v3.spr (continue working on file dispatch.spr). Exhaustive Simulation 197 waitParmResp L_SetparmResp V76frame V76frame (XIDresp 0) VIA dlcDL ready Figure 7.18 Missing save of v76frame added under waitParmResp C. In process dispatch, page part1, add a save containing v76frame under the state waitParm- Resp, as illustrated in Figure 7.18. D. Save the SDL model. 7.3.2 One second to detect missing input L_ReleaseReq 7.3.2.1 Run the exhaustive simulation A. In the Organizer, select the SDL system V76test and press the Validate button. B. In the Validator, select Commands > Include Command Script, and choose sig_defs.com. C. Press on List Signal, and check that you get the same signals as previously. D. Press on Exhaustive, and after 100000 system states, press on Break; the Validator displays: Starting exhaustive exploration Search depth : 100 Passing 50000 system states Passing 100000 system states Break at user input *** Exhaustive exploration statistics No of reports: 11 Generated states: 140000 Truncated paths: 21517. Unique system states: 104940. Size of hash table: 100000 (400000 bytes) Current depth: 95 Max depth: 100 Min state size: 212 Max state size: 680 Symbol coverage : 88.00 E. The Report Viewer appears. Double-click on the ImplSigCons box to unfold it, as shown in Figure 7.19. The reports are stored in the file reports.rep. 198 Validation of Communications Systems with SDL Report Viewer 11 reports 9 ImplSigCons Warning: Implicit Warning: 