ple, if two signals are transmitted at the same time to a process queue. Exhaustive Simulation 203 7.3.4.2 Modify the SDL model A. Exit from the Validator (answering No to the question). B. Open process DLC part1 and replace 3 by 1 in the declaration of N320, to obtain: SYNONYM N320 Integer = 1; C. Save the SDL model. 7.3.4.3 Run the bit-state simulation After trying exhaustive simulation, we have found that it required 416 MB of RAM for 406049 unique global states of the SDL model. In ObjectGeode, we use exhaustive simulation because it compresses the global states (for example, storing once several identical input queues): in only 196 MB of RAM, ObjectGeode stores 2620001 states of the same model. This is why instead of using exhaustive simulation we will use bit-state. Bit-state mode is similar to exhaustive mode, but it requires less memory, because instead of storing each new global model state, bit-state stores only one bit in an array. The index in the array is a hash- coding (a kind of checksum) of the global state contents. However, two different global states may have the same hash-code: they are considered as identical, therefore parts of the states graph may remain unexplored. 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). This is the size of the array of bits used to store the states hash-codes. If your machine equipped, for example, with 128 MB of RAM, enter 80 millions. D. Select Options2 > Bit State: Depth and enter 15000. 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 : 250000000 bytes Transitions: 20000 States: 12408 Reports: 5 Depth: 376 Symbol coverage: 93.60 Time: 10:07:07 Transitions: 40000 States