Patent Document ID: 8781808
Application ID: 12987481
Patent Flag: 1

Claim One:
1. A distributed parallel simulation method for a predetermined model at a specific abstraction level comprising: (a) obtaining expected inputs and expected outputs for at least one local simulation among a plurality of local simulations in the distributed parallel simulation for the predetermined model, wherein the local simulation is defined as each of simulations for local design objects in case of executing a parallel simulation by spatially dividing the predetermined model into a plurality of local design objects; and (b) for at least one part of entire simulation time period, executing said at least one local simulation in the distribution parallel simulation for the predetermined model by using the expected inputs and the expected outputs, wherein the expected inputs and the expected outputs for the at least one local simulation of the step (a) is obtained by: (a1) while executing the distributed parallel simulation for the predetermined model at the specific abstraction level, in said at least one local simulation, simultaneously simulating a first model and a local design object corresponding to the local simulation, wherein the first model is same to the predetermined model except that an abstraction level of the first model is higher than an abstraction level of the predetermined model, and the step (b) comprises: (b1) determining whether actual outputs match with the expected outputs obtained in the step (a), wherein the actual outputs are outputs obtained from an execution in which said at least one local simulation among the plurality of local simulations is executed independently with other local simulations by using the expected inputs as inputs of simulation for local design object corresponding to the local simulation while not performing a communication and a synchronization, which maintains causality relationship between the plurality of local simulations, with other local simulations; (b2) if it is determined that the actual outputs do not match with the expected outputs in the step (b1), executing at least one local simulation among the plurality of local simulations by using actual inputs as inputs of simulation for local design object corresponding to the local simulation, wherein the actual inputs are inputs obtained from an execution in which the at least one local simulation is executed while performing the communication and the synchronization with other local simulations; (b3) while executing the at least one local simulation according to the step (b2), determining whether actual outputs match with the expected outputs obtained in the step (a), wherein the actual outputs are outputs obtained from an execution in which the at least one local simulation among the plurality of local simulations is executed by using the actual inputs, which is obtained through the communication and the synchronization with other local simulations, as inputs of simulation for local design object corresponding to the local simulation; and (b4) if it is determined that, in the step (b3), the actual outputs match with the expected outputs at least for a predetermined times in a specific time point, executing the at least one local simulation among the plurality of local simulations by using again the expected inputs and the expected outputs of the step (a) from the specific time point while not performing the communication and the synchronization with other local simulations.