The logic circuit verification device, logic circuit verification manner and stores the logic circuit verification program the computer reading possible record media

摘要

PROBLEM TO BE SOLVED: To correctly judge the equivalence of a gated-clock-designed logic circuit at a logic circuit verification device for judging the equivalence of the logic circuit. ;SOLUTION: An equivalence judging circuit generating part 3 generates an equivalence judging circuit for judging the equivalence of a logic at a logic circuit without do-not-care information but generates an equivalence judging circuit for judging the equivalence of a function at a logic circuit with do-not- care information. In a case when the logic circuit is gated-clock-designed, a gated-clock part correcting part 6 corrects the generated equivalence judging circuit to inspect the part. An equivalence judging part 7 judges the equivalence of the logic circuit to inspect based on the corrected equivalence judging circuit.;COPYRIGHT: (C)1999,JPO