Equivalent Characteristic verification manner and equivalent Characteristic verification device null

摘要

PROBLEM TO BE SOLVED: To provide a method for verifying equivalence of a circuit description language capable of easy verification.;SOLUTION: The method for verifying equivalence of the circuit description is provided with: a step for performing circuit synthesis to first design data related to a semiconductor integrated circuit described in a first circuit description language to obtain second design data 14 described in a second circuit description language lower in the degree of extraction than the first circuit description language; and a step for comparing third design data 20 described in the second circuit description language with the second design data 14 to verify a correspondence between the two and performing formal verification to a part which does not correspond. When all the second and the third design data 14 and 20 correspond and both are equal as a result of the formal verification with respect to the non-correspondent part, the first design data 10 are determined to be equivalent to the third design data 20.;COPYRIGHT: (C)2007,JPO&INPIT