Logic verification method

Abstract

A logic verification method for simulating a logic circuit model by using the instruction interpreter, connected to the first and second files, for executing an executable program, includes the steps of: outputting to the second file first status information after the executable program loaded from the first file and already compiled has been executed to an inputted first location; outputting to the second file second status information after the executable program loaded from the first file has been executed to an inputted second location in the instruction interpreter; setting the first status information to the memory unit of the logic circuit model; and outputting to the display, together with the second status information, third status information after the executable program has been executed from the fist location to the second location in the logic circuit model. The first and second locations are assigned by the operator to save the executable program and set an interruption instruction. When a simulation error has occurred, it is possible to alter the first status information and make the executable program to execute and the other portion of the executable program to execute without recompiling.