| Intersection control used |
Effect in ModelSim |
| Run 1000 button |
invokes the run command for 1000 ns |
| Run Forever button |
invokes the run -all command |
| Break button |
invokes the break command |
| light timing control |
invokes the force command with the arguments for the indicated signal and time |
| arrival time control |
invokes the force command with the arguments for the indicated direction and time |
| waiting queue |
any time you change a control the examine command is invoked to display the value of the waiting queue |