Patent ID: 7647570
Filing Date: 2010-01-12
Classification: G06F

Abstract:
1. An equivalence checking apparatus for checking equivalence between a first description and a second description, comprising: an intermediate cone extracting unit for extracting, from the first and second descriptions, an intermediate cone pair corresponding to each other and defined from an objective signal line common to the first and second descriptions: a logic-cone comparison unit for comparing the extracted intermediate cone pair while referencing an equivalence condition defining a condition for referencing stored corresponding to the intermediate cone pair in an equivalence-condition storage unit, said logic-cone comparison unit judging whether or not the intermediate cone pair is equivalent to each other under the equivalence condition; and an intermediate-point-result reflection unit for simplifying the logic cone pair with respect to the intermediate cone pair if said logic-cone comparison unit judges an equivalence wherein said intermediate-point-result reflection unit simplifies the logic cone pair by replacing the intermediate cone pair with a common cone pair in the first and second descriptions, the common cone pair outputting a common signal value if the equivalence condition is satisfied and different signal values if the equivalence condition is not satisfied.