Exact synthesis is the process of creating a minimal-cost representation of a logic function. These representations are used in the design of microprocessors and other digital devices. An existing exact synthesis program ...