US Patent 7523030 Simulation system and computer program

Disclosed is a simulation system for displaying source lines in a behavior level description during execution of simulation to indicate the execution status of a conditional branch statement in a state, including a simulation model generation unit, a simulator and a simulation monitor. The simulation model generation unit receives a source file including a behavior level description composed of a plurality of lines and that generates a simulation model, which includes a finite state machine (FSM), from the behavior level description. The simulation model generation unit generates a simulation model, in which identification information (branch ID) is assigned to a conditional branch statement in a state, and generates a behavior level description source line—branch ID correspondence table. The simulator receives the simulation model for executing simulation; and a simulation monitor monitors the execution of simulation, extracts the branch ID in a state when a state transition to said state occurs, obtains the number of a source line in the behavior level description corresponding to the extracted branch ID from the behavior level description source line—branch ID correspondence table, and displays the source line in the behavior level description having the obtained line number in a form distinguishable from other lines.