  Tracing back the instruction execution sequence to debug a multicore system
can be very time-consuming because the relationships of the instructions can be
very complex. For instructions that cannot be checked by the environment
immediately after their executions, the errors they triggered can propagate
through the instruction execution sequence. Our task is to find the
error-triggered instructions automatically. This paper presents an automatic
debugging tool that can leverage the synchronization points in the instruction
execution sequences of the multicore system being verified to locate the
instruction which results in simulation error automatically. To evaluate the
performance of the debugging tool, we analyze the complexity of the algorithms
and count the number of instructions executed to locate the aimed instruction.
