s(V76para TO DLCs(V76p.ra !DM!DLOI !UA!DLCi) ready ready Figure 7.38 The answer DM added to process dispatch A. In the Organizer, select the SDL system V76test and press Validate B. In the Validator, select Options1 > Input Port Length, and enter 2. C. Select Options2 > Bit State: Hash Size and enter 250000000 (250 millions of bytes). If your machine is equipped, for example, with 128 MB of RAM, enter 80 millions. D. Select Options2 > Bit State: Depth and enter 400. E. Select Options1 > Report: Report Log, choose MaxQueueLength and select Off. F. Select Commands > Include Command Script, and choose sig_defs.com. G. Press on List Signal, and check that you get the same signals as previously. H. Enter the command Channel-Enable dis to enable the Validator to transmit signal L_ReleaseReq to side B, to cover the SDL transitions previously added: Command : Channel-Enable dis Channel enabled. I. Press on Bit State, the Validator displays: ** Starting bit state exploration ** Search depth : 400 Hash table size : 250000000 bytes Transitions: 20000 States: 15362 Reports: 0 Depth: 393 Symbol coverage 63.38 Time: 16:36:15 Transitions: 40000 States: 31214 Reports: 0 Depth 398 Symbol coverage: 63.38 Time: 16:36:15 216 Validation of Communications Systems with SDL Transitions: 10140000 States: 6736587 Reports: 0 Depth: 397 Symbol coverage: 98.31 Time: 16:39:19 Transitions: 10160000 States: 6750862 Reports: 0 Depth: 380 Symbol coverage: 98.31 Time: 16:39:19 J. After around six millions of states, press on Break; the Validator displays: Break at user input *** Bit state exploration statistics No of reports: 0. Generated states: 10168000. Truncated paths: 794235. Unique system states: 6756790. Size of hash table: 2000000000 (250000000 bytes) No of bits set in hash table: 13377019 Collision risk: 0 % Max depth: 400 Current depth: 397 Min state size: 212 Max state size: 616 Symbol coverage : 98.31 No exception has been found. In 3 min and 4 S, the Validator has explored 6756790 of the reachable states of the SDL model. As we have e