Patent ID: 8707224
Filing Date: 2014-04-22
Classification: G06F,H04L

Abstract:
1. A computer-implemented method of simplifying a plurality of formulas, comprising: a) establishing a plurality of formulas including only addition operations, wherein each of the plurality of formulas corresponds to a portion of a combinational circuit including only addition operations; b) defining a basis set including a plurality of input signals, wherein each of the input signals corresponds to a row from an identity matrix; c) determining, through use of a computer, a distance vector that includes one value for each of the plurality of formulas, the one value corresponding to a number of addition operations necessary to calculate a corresponding formula using signals from the basis set; d) determining, through use of the computer, two basis vectors from the basis set whose sum, when added to the distance vector, reduces at least one value in the distance vector; e) adding the sum to the basis set; and f) selectively repeating steps C-E until the basis set includes sums corresponding to each of the plurality of formulas.