| 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 |