| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a logical simulation device and a logical simulation method for effectively verifying a failure of a logic circuit which is caused under complicated conditions. <P>SOLUTION: This logic simulation device for verifying the logic circuit by determining an input by using random numbers is provided with: a score measurement means for measuring an internal state of the logic circuit during simulation, and for outputting it with scores; a history data storage means for associating the random numbers generated during simulation and the scores output by the score measurement means with time, and for storing it as history data in a prescribed storage region; and a reproduction means for specifying the time with high scores by using the history data, and for determining the input by using the random numbers recorded in the history data, and for performing reproduction until the specified time in the simulation. <P>COPYRIGHT: (C)2009,JPO&INPIT |
