LOGIC SIMULATOR EXECUTION CONTROL METHOD

摘要

PROBLEM TO BE SOLVED: To reduce the number of processes invalidating the processing of events by calculating event limit time through the use of the spatial influence range of the events at the inspecting of the non-contradiction of the processes execution. SOLUTION: The maximum value tsup of the values of the time stamps t1 -t5 of the events e1 -e5 selected in the respective processes is found. All the processes execute the events e1 -e5 . The values T1 -T5 of the time stamps are sent to partial spaces 1-7 containing the spatial range giving influence to time tsup for the respective events E1 -E5 which are newly generated. In the respective partial spaces, the minimum value of the values of the time stamps of the received events is set to be local event limit time in the partial spaces. The process having the events belonging to the respective partial spaces rejects the event which is newly generated when the value of the time stamp of the executed event is larger than the value of local event limit time.