Method to unate a design for improved synthesizable domino logic flow

Abstract

A fully automated ASIC style domino synthesis flow is provided for mapping a digital logic design onto a domino logic library. The input to the flow is the same as for standard static synthesis environments and includes an RTL description of the design to be synthesized and a set of timing and physical constraints. The unate step includes reading the design and initializing, simplifying the logic, marking inversions, marking binate cones for duplication, identifying endpoints, performing a reverse traversal, an optional phase optimization, committing netlist changes, primary inputs processing, primary outputs processing, and a final check and save.