Patent ID: 7216306
Filing Date: 2007-05-08
Classification: G06F

Abstract:
1. A method using computers for determining whether a complex Boolean function representing a property of digital circuits is equivalent to a Boolean constant within a given subset of the input space, comprising the steps of: receiving said complex Boolean function; receiving said Boolean constant, whereby it is used to compare said complex Boolean function with; receiving said given subset of the input space, whereby everything beyond said given subset of the input space is irrelevant, and said given subset of the input space can have any shape as it is given; and dividing said given subset of the input space into a set of a plurality of smaller subsets of the input space, whereby the equivalence is determined positive if said complex Boolean function is equivalent to said Boolean constant within every member of said set of a plurality of smaller subsets of the input space while completely avoiding the capacity problem with representing said complex Boolean function as any Binary Decision Diagram.