1. A unate method for a fully automated domino synthesis flow comprising: reading and initializing a design; simplifying the logic in the design; marking inversions in the design; marking binate cones for duplication in the design; identifying endpoints in the design; performing a reverse traversal on the design; performing a commit changes function on the design; processing the primary inputs in the design; and processing the primary outputs in the design.