摘要 |
<P>PROBLEM TO BE SOLVED: To provide a program verification system capable of performing verification of a program without waiting completion of an actual device, and stably performing automatic evaluation of the system for a long time without causing an operation freeze or the like. <P>SOLUTION: This program verification system comprises an ICE 400, a verification control part 300 for controlling the ICE to perform a verification operation corresponding to the actual device 150, a bridge 504 for adapting a control signal or the like from a virtual device 100 to the verification control part 300, and a virtual/actual synchronization processing part 412 for controlling data transfer between a synchronization RAM 404 and an actual machine user RAM 402. The bridge 504 comprises a monitoring part for determining whether or not a verification operation instruction from the control part 300 is normally processed. <P>COPYRIGHT: (C)2004,JPO&NCIPI |