Computer system for co-simulation, verification method and program for embedded system

摘要

The present invention is equipped with a test progression controller which communicates asynchronously with a plurality of test probe units installed in each independently operated simulator. The test progression controller, which communicates asynchronously with the plurality of test probe units, is capable of suspending and resuming the operation of the simulators as a whole. As a result, internal operations and the insertion of external conditions, with respect to a simulation cooperatively operated by a plurality of independent heterogeneous simulators, can be executed such that the execution order of each operation remains unchanged.