System, method, and computer program product for reducing a deactivation function utilizing an optimal reduction

1. One or more non-transitory computer-readable media storing instructions that, when executed by a computer, cause the computer to perform a method of reducing power consumption in a logic circuit, the method comprising:

identifying a deactivation logic function that specifies conditions for deactivating one or more components in a logic circuit, the deactivation logic function having a plurality of variables;

calculating a plurality of reductions for the deactivation logic function, each of the plurality of reductions eliminating at least one of the plurality of variables from the deactivation logic function;

identifying a preferred reduction of the calculated reductions based on at least one of an implementation cost of a respective reduction or a probability that the respective reduction evaluates to true; and

substituting the preferred reduction for the deactivation logic function to form a new deactivation logic function.

2. The computer-readable media of claim 1 , wherein the deactivation logic function is a decomposition of another deactivation logic function.

3. The computer-readable media of claim 1 , wherein the plurality of variables represent inputs.

4. The computer-readable media of claim 1 , wherein the plurality of variables represent support functions.

5. The computer-readable media of claim 4 , wherein the method further comprises determining a preferred reduction of the support functions represented by the plurality of variables prior to determining the preferred reduction of the deactivation logic function.

6. The computer-readable media of claim 5 , wherein an initial preferred reduction of the support functions is determined prior to determining the preferred reduction of the support functions.

7. The computer-readable media of claim 4 , wherein each support function includes one or more support function variables.

8. The computer-readable media of claim 1 , wherein the reductions of the deactivation logic function are calculated with respect to each of the plurality of variables.

9. The computer-readable media of claim 1 , wherein the plurality of reductions of the deactivation logic function include a positive Shannon reduction, a negative Shannon reduction, and a universal quantification for the deactivation logic function with respect to each of the plurality of variables.

10. The computer-readable media of claim 9 , wherein the positive Shannon reduction for the deactivation logic function with respect to a particular variable is determined utilizing the particular variable and a positive co-factor of the deactivation logic function with respect to the particular variable.

11. The computer-readable media of claim 9 , wherein the negative Shannon reduction for the deactivation logic function with respect to a particular variable is determined utilizing a negation of the particular variable and a negative co-factor of the deactivation logic function with respect to the particular variable.

12. The computer-readable media of claim 1 , wherein the method further comprises:

calculating additional reductions for the new deactivation logic function;

determining a second preferred reduction of the additional reductions; and

substituting the second preferred reduction to form a second new deactivation logic function.

13. The computer-readable media of claim 1 , wherein the probability that the reductions are equal to true is determined using switching activity values of one or more signals in the logic circuit.

14. The computer-readable media of claim 1 , wherein the cost of implementation comprises at least one of a power overhead, a component area overhead, or a speed overhead.

15. A method executed by a computing device, the method comprising:

identifying a deactivation logic function that specifies conditions for deactivating one or more components in a logic circuit, the deactivation logic function having a plurality of variables;

calculating a plurality of reductions for the deactivation logic function, each of the plurality of reductions eliminating at least one of the plurality of variables from the deactivation logic function;

identifying a preferred reduction of the calculated reductions that has at least one of the lowest implementation cost of the plurality of reductions or the highest probability of evaluating to true; and

reducing the deactivation logic function by substituting the preferred reduction for the deactivation logic function.

16. The method of claim 15 , wherein the plurality of reductions for the deactivation logic function include a positive Shannon reduction, a negative Shannon reduction, and a universal quantification for the deactivation logic function with respect to each of the plurality of variables.

17. The method of claim 15 , wherein the plurality of reductions of the deactivation logic function are calculated with respect to each of the plurality of variables.

18. The method of claim 15 , wherein the plurality of variables represent support functions.

19. The method of claim 18 , further comprising determining a preferred reduction of the support functions represented by the plurality of variables prior to identifying the preferred reduction of the deactivation logic function.

20. The method of claim 19 , wherein an initial preferred reduction of the support functions is determined prior to determining the preferred reduction of the support functions.

21. The method of claim 18 , wherein each support function includes one or more support function variables.

22. The method of claim 15 , wherein the probability of evaluating to true is determined using switching activity values of one or more signals in the logic circuit, and wherein the implementation cost comprises at least one of a power overhead, a component area overhead, or a speed overhead.

23. The method of claim 15 , further comprising:

calculating additional reductions for the preferred reduction;

determining a second preferred reduction of the additional reductions; and

substituting the second preferred reduction for the preferred reduction.

24. A computer-implemented method executed by a computer, the method comprising:

identifying a deactivation logic function that specifies conditions for deactivating one or more components in a logic circuit, the deactivation logic function having a plurality of variables;

calculating a plurality of reductions for the deactivation logic function with respect to each of the plurality of variables;

forming a set of possible reductions by identifying unique reductions from the calculated plurality of reductions;

identifying a preferred reduction from the set of possible reductions based on an implementation cost or a probability of evaluating to true; and

reducing the deactivation logic function to the preferred reduction.

25. The computer-implemented method of claim 24 , wherein the plurality of reductions for the deactivation logic function calculated with respect to each of the plurality of variables includes a positive Shannon reduction, a negative Shannon reduction, or a universal quantification.

26. The computer-implemented method of claim 24 , wherein the plurality of variables represent support functions.

27. The computer-implemented method of claim 26 , further comprising determining a preferred reduction of the support functions represented by the plurality of variables prior to identifying the preferred reduction of the deactivation logic function.

28. The computer-implemented method of claim 27 , wherein an initial preferred reduction of the support functions is determined prior to determining the preferred reduction of the support functions.

29. The computer-implemented method of claim 26 , wherein each support function includes one or more support function variables.

30. The computer-implemented method of claim 24 , wherein the probability of evaluating to true is determined using switching activity values of one or more signals in the logic circuit, and wherein the implementation cost comprises at least one of a power overhead, a component area overhead, or a speed overhead.

31. The computer-implemented method of claim 24 , further comprising:

calculating additional reductions for the preferred reduction;

determining a second preferred reduction of the additional reductions; and

substituting the second preferred reduction for the preferred reduction.