| 摘要 |
PURPOSE: A communication method of a parallel distribution simulation is provided to rapidly perform verification for a low-level abstraction model based on the result of a simulation using a high-level abstraction model when a super large scale design is performed based on an electronic system level (ESL), thereby shortening the time of the entire design verification. CONSTITUTION: A predicted output and a predicted input for reducing the amount of communication between two or more local simulations of a parallel distribution simulation are obtained (S402). A real output, which is generated in the execution process of the parallel distribution simulation, and the predicted input are used in a local simulation of the parallel distribution simulation together. Output values, which are not the same in comparison to the real output and the predicted output, and the position information of the output values are transmitted to other local simulations through a communication process (S408). [Reference numerals] (AA) Start; (BB) Yes; (CC) No; (S398) Set a current simulation time as zero; (S402) 1 A current simulation time point is the time point of generating a check point. When a check point is generated, Whether or not a rollback possibility is generated is confirmed. When the rollback possibility is generated, go to a B process.2 When the current simulation time of local simulation is the same as a forward time point, go to an R process. When the current simulation time of the local simulation is greater than or equal to a simulation end time, go to an E process. 3 Real output is obtained by processing the simulation with predicted input. The real output and predicted output are compared; (S404) Set the event time of the real output as the current simulation time; (S406) Comparison consonance; (S408) Stop the simulation and transmit the current simulation time and the generation of the rollback possibility to other local simulations; (S410) Obtain the current simulation time of total local simulations and determine the rollback/roll forward of the local simulation and real rollback-time point/real roll forward-time point
|
