sp ready Figure 7.29 Process dispatch page part1_2 208 Validation of Communications Systems with SDL PROCESS dispatch(1, 1) part2(3) ready L DataReq L_ReleaseRea L_EstabReq (DLCnum, uData) (DLCnum) (DLCnum) (DLCnum) (DLCnum) (DLCnum) DLCnum not used, we create L_DataReq an instance of L Releaselnd L_ReleaseReq (DLCnum, True) (DLCnum, uData) (DLCnum) TO process DLC (DLCnum) TO DLCs(DLCnum) DLCs(DLOnum) DLCs(DLCnum) We store into the Pass the frame to OFFSPRING table the PID of the corresponding the new instance instance of proc. DLC waitUA ready V76frame DLCstopped (V76para) (DLCnum) DLCstopped L_SetparmReq (DLCnum) 76para ! present L Releaselnd (DLCnum) L Releaselnd V76frame (DLCnum) (XIDcmd : 0) VIA dlcDL DLCs(V76para, DA I DLCi) DLCs(DLCnum) := Null DLCs(DLCnum) := NULL V76frame(V76para) TO DLCs(V76para !UA!DLCi) ready ready Figure 7.30 Process dispatch page part2 C. In the Validator, select Options1 > Input Port Length, and enter 2. We no longer limit to 1 because in each process queue, we need enough space for a saved signal plus an external signal. Select Options1 > Report: Report Log, choose MaxQueueLength and select Off. The Val- idator will no longer generate any report when reaching the input port length limit. E. Select Commands > Include Command Script, and choose sig_defs.com. F. Press on List Signal, and check that you get the same signals as previously. G. Press on Bit State, the Validator displays: Starting bit state exploration * Search depth : 15000 Hash table size : 1000000 bytes Exhaustive Simulation 209 Transitions: 20000 States: 12484 Reports: 0 Depth: 708 Symbol coverage: 89.02 Time: 15:53:12 Transitions: 40000 States: 24892 Reports: 0 Depth: 604 Symbol coverage: 96.44 Time: 15:53:12 Transitions: 1840000 States: 1136439 Reports: 2 Depth: 1783 Symbol coverage: 98.22 Time: 15:53:51 Transitions: 1860000 States: 1148820 Reports: 2 Depth: 2262 Symbol coverage: 98.22 Time: 15:53:51 Transitions: 1880000 States: 1160825 Reports: 2 Depth: 3279 Symbol coverage: 98.22 Time: 15:53:51 H. When you see in 