process DLC, page part2, add an input containing L_ReleaseReq followed by nextstate dash under the state waitUAdisc, as illustrated in Figure 7.21. D. Save the SDL model. waitUAdisc V76frame (V76para) L_ReleaseReq V76para ! present ( UA, DM) DLCstopped(me) Figure 7.21 After adding input of signal L_ReleaseReq 7.3.3 One second to detect missing input L_DataReq 7.3.3.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: 7 Generated states 132000 Truncated paths: 21592. 200 Validation of Communications Systems with SDL Unique system states: 100262. Size of hash table: 100000 (400000 bytes) Current depth: 99 Max depth: 100 Min state size: 212 Max state size: 680 Symbol coverage : 87.20 E. The Report Viewer appears. Double-click on the ImplSigCons box to unfold it, as shown in Figure 7.22. Report Viewer 7 reports 5 ImplSigCons Warning: Implicit Warning: Implicit Warning: Implicit Warning: Implicit signal consumption signal consumption signal consumption signal consumption of signal of signal of signal L_DataReq of signal L_DataReq DLCstopped DLCstopped Sender: <<Block Sender: <<Block Sender: <<Block Sender: <<Block DLCa>> dispatch:1 DLCa>> dispatch:1 DLCb>> DLC:2 DLCb>> DLC:1 Receiver: <<Block Receiver: <<Block Receiver: <<Block Receiver: <<Block DLCa>> DLC:2 DLCa>> DLC:1 DLCb>> dispatch:1 DLCb>> dispatch:1 Depth: 56 Depth: 56 Depth: 92 Depth: 92 Figure 7.22 The Report Viewer (7 reports) F. The third box from the left shows that signal L_DataReq, transmitted by process dispatch to instance 2 of process DLC, has been discarded 