When the Simulator is started, the Configuration Wizard also opens. This wizard is used to configure the various properties needed to run a simulation.
The first property to choose is the Simulation Type and Event Set Type. There are three different simulation types. The first is to simulate a true hierarchical HISC model. The second is to simulate a hierarchical project as if it were a flat model (if you have not already verified that an HISC project is LD Interface Consistent or if it is a multi-level project, only this option will be available). The last simulation type is for simulating a flat model. The Event set type can either be a specific set of events, or a predetermined sequence of events. You will almost always want to choose Simulate an Event Set.
The next step is to choose a starting state tuple. The default option is the initial state of all the DES. Double click on a DES' state to change that DES to a different state.
If you chose to simulate an event set, after choosing your initial state tuple, you will need to choose your event set. The default event set is all available events (recommended). You can click on Edit Event Set to select fewer events. When editing the event set you can add and remove events from the event set on the right using the respective buttons. The event list on the left is all the available events.
If you chose to simulate an event sequence, after choosing your initial state tuple, you will need to choose your event sequence. The default sequence is all the events in order. Click on Edit Event Sequence to change this. Use the buttons to add and remove events from the event sequence on the right. You can also move and event to a different position in the sequence by selecting it and clicking the Move Up and Move Down buttons. The event list on the left is all the available events.
Lastly choose a stop condition. This is a condition that will stop the simulation. By default, there is no stop condition. You can have the simulation stop after a specified number of steps, when a marked state is reached, or when an initial state is reached.
If you wish to access the wizard again later you can do so by opening it from the File menu in the Simulator window.