Method for evaluating logic functions by logic circuits having optimized number of and/or switches
AssigneeLSI Logic Corporation
InventorsAndrey A. Nikitin, Alexander E. Andreev
Life of this patent
Estimating the term…
Abstract
A method for creating a logic circuit with an optimized number of AND/OR switches, which evaluates a logic function defined in a high-level description. Through analyzing the dependency relationship among operators used to define the logic function, the present invention may simplify the functional steps used in the high-level description to define the logic function and thus create a logic circuit with an optimized number of AND/OR switches.
Claims31
A method for creating a logic circuit with an optimized number of AND/OR switches to evaluate a logic function FUNC(x,y), comprising:
- (a) defining said logic function FUNC(x,y) in terms of control inputs x1, x2, . . . , xn, n≧1, data inputs y1, y2, . . . , ym, m≧1, and at least one operator OPi, i={overscore (1, N)};
- (b) evaluating dependency relationship among said at least one operator OPi;
- and
- (c) creating said logic circuit based on said dependency relationship.
A computer-readable medium having computer-executable instructions for performing a method for creating a logic circuit with an optimized number of AND/OR switches to evaluate a logic function FUNC(x,y), comprising:
- (a) defining said logic function FUNC(x,y) in terms of control inputs x1, x2, . . . , xn, n≧1, data inputs y1, y2, . . . , ym, m≧1, and at least one operator OPi, i={overscore (1, N)};
- (b) evaluating dependency relationship among said at least one operator OPi;
- and
- (c) creating said logic circuit based on said dependency relationship.
An apparatus for creating a logic circuit with an optimized number of AND/OR switches to evaluate a logic function FUNC(x,y), comprising:
- (a) means for defining said logic function FUNC(x,y) in terms of control inputs x1, x2, . . . , xn, n≧1, data inputs y1, y2, . . . , ym, m≧1, and at least one operator OPi, i={overscore (1,N)};
- (b) mean for evaluating dependency relationship among said at least one operator OPi;
- and
- (c) means for creating said logic circuit based on said dependency relationship.
Dependencies are inferred from the claim text.