epth : 30 Exhaustive exploration statistics No of reports: 3 Generated states: 8425 Truncated paths: 1708. Unique system states: 6856. Size of hash table: 100000 (400000 bytes) Current depth: -1 Max depth: 30 Min state size: 212 Max state size: 572 Symbol coverage : 90.55 The exhaustive simulation has stopped and found 6856 unique system states (note that more states would have been found if the search depth was not limited to 30). The Report Viewer appears, showing that the only reports are three MaxQueueLength: the default limit of three signals in some process input queues has been exceeded. This is normal; more details provided later. In the 6856 explored global states of the SDL model, we are sure that we have no errors and no deadlocks. However, the global states not yet explored by the Simulator may contain errors. 7.3.4 Millions of states: detect output to Null Now to test more features in the SDL model, we use a larger model configuration: again, one signal maximum in each queue, but the maximum exploration depth is no longer limited. To limit the number of states, we restrict the number of retransmissions in process DLC to 1, instead of 3. 7.3.4.1 Limit number of signals in input queue To avoid an infinite number of global states, we need to limit the number of signals present in the input queue of each SDL process. For example, in the V.76 SDL model, if you simulate the scenario shown in Figure 7.51, the queue of the instance 1 of process DLC in block DLCa contains 4 signals. If this process does not input the signals in its queue while other bursts of L_DataReq are transmitted to process dispatch, the number of L_DataReq stacked in the queue will grow rapidly. In addi- tion, each new signal stacked in the queue generates a new global SDL model state during exhaustive simulation. The Validator by default limits to three signals in each process instance input queue. To reduce the number of states, we will limit to one signal in each queue; note that some models might not work with such a limit, for exam