An application specific integrated circuit is optimized by translating a first
representation of its digital design to a second representation. The second representation
includes multiple syntactic expressions that admit a representation of a higher-order
function of base Boolean values. The syntactic expressions are manipulated to form
a third representation of the digital design.