Patent ID: 7337414

Claim:
A logical equivalence verifying device for performing logical equivalence verification of two prescribed circuits to display results thereof, said logical equivalence verifying device comprising: a identifier recording section that performs instance name matching for each element in which it is determined whether instance names of elements in corresponding logic cones of said two prescribed circuits match each other, and records the results of said instance name matching as identifiers, respectively; a subcone extracting section that extracts a plurality of element collections as subcones from each of said logic cones, each element collection including elements which are connected with each other and have the same identifier; a verifying section that verifies logical equivalence between said two prescribed circuits for each subcone extracted by said subcone extracting section; and a display control section that displays a first group of subcones with mismatched results of said logical equivalence verification and a second group of subcones with matched results of said logical equivalence verification while distinguishing between these first and second groups of subcones based on the results of said logical equivalence verification.