Patent ID: 6842750

Claim:
A computer executable method for reducing redundancy in a simulation through use of a symbolic simulation utilizing an arbitrary library, comprising: receiving a set A of values, the set A including input variables which are elements of the set A; constructing symbols of the input variables in which like and similar variables share a like symbol and a similar symbol respectively; forming a table of output values computed from a table of a Boolean operator employing the constructed symbols of the input variable; and creating output symbols from the table of output values, wherein if all bits of a table index i of the table of output values (Ty_i) is constant, the symbol b i for the index is set equal to the constant; if the table output index i of the table of output values (Ty_i) is equal to a Boolean variable (X_j), the symbol b_i is set equal to the input variable symbol constructed from the value of input variable; if the table output index i of the table of output values (Ty_i) is approximately equal to a Boolean variable (X_j), the symbol b_i is set approximately equal to the input variable symbol constructed from the value of input variable; otherwise the symbol b_i is set as undefined.