 shown in Figure 7.33. D. Save the SDL model. 7.3.6 Two minutes to detect missing input L_ReleaseReq and answer DM This time we will limit the input port length to 1 instead of 2, to finish more rapidly the bit-state simulation, to show how to detect never-executed SDL symbols. Exhaustive Simulation 211 waitUA V76frame (V76para) L_DataReq V76para ! present N320cnt < N320 Figure 7.33 Process DLC after adding save L_DataReq under waitUA 7.3.6.1 Run again the bit-state simulation A. In the Organizer, select the SDL system V76test and press Validate B. In the Validator, select Options1 > Input Port Length, and enter 1. 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 15000. 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. Press on Bit State, the Validator displays: ** Starting bit state exploration ** Search depth : 15000 Hash table size : 250000000 bytes Transitions: 20000 States: 12408 Reports: 0 Depth: 376 Symbol coverage 93.77 Time: 20:06:38 Transitions: 40000 States: 24847 Reports: 0 Depth: 300 Symbol coverage: 93.77 Time: 20:06:38 Transitions: 7180000 States: 4479778 Reports: 0 Depth: 65 Symbol coverage: 93.77 Time: 20:08:43 Transitions: 7200000 States: 4492191 Reports: 0 Depth: 150 Symbol coverage: 93.77 Time: 20:08:43 Bit state exploration statistics ** No of reports: 0. Generated states: 7204384. Truncated paths: 0. Unique system states: 4494891. Size of hash table: 2000000000 (250000000 bytes) 212 Validation of Communications Systems with SDL No of bits set in hash table: 8948021 Collision risk: 0 % Max depth: 6530 Current depth: -1 Min state size: 212 Max state size: 584 Symbol coverage : 93.77 This time, no exception has been found, and the bit-state simulation 