摘要 |
There is provided a logic verification method for performing logic verification of an integrated circuit by using device data defining functions of the integrated circuit. The logic verification method includes reading device data made up by a plurality of pieces of logic module data each including (i) first circuit data defining a predetermined function by using a hardware description language and (ii) second circuit data defining the same predetermined function by using a logic circuit including a gate circuit, wherein the second circuit data includes timing information for an operation performed over time, selecting one of the first circuit data and second circuit data for each of the plurality of pieces of logic module data making up the device data, and executing logic verification based on device data made up by selected pieces of circuit data.
|