Optimization of digital designs

A method for optimizing a digital circuit design, the method comprising steps of

• translating a first representation of the digital circuit design to a second representation of the digital circuit design, the second representation comprising a plurality of syntactic expressions, wherein at least half of the syntactic expressions identify a higher-order function of base Boolean values;
• identifying data and control in at least one of the first and second representations;
• and
• syntactically manipulating the plurality of syntactic expressions to form a third representation of the digital circuit design, wherein manipulating step comprises reducing a number of nodes within the syntactic expressions.

A computer-readable e storage medium having a computer-readable program embodied therein for directing operation of a computer system including a processor and at least one input device, wherein the computer-readable program includes instructions for operating the computer system for optimizing a digital circuit design in accordance with the following:

• receiving a first representation of the digital circuit design from the at least one input device;
• translating the first representation of the digital circuit design to a second representation of the digital circuit design, the second representation comprising a plurality of syntactic expressions that admit a representation of a higher-order function of base Boolean values;
• and
• executing and syntactically manipulating the plurality of syntactic expressions to form a third representation of the digital circuit design, wherein manipulating step comprises reducing a number of nodes within the syntactic expressions.