Logical effort of carry propagate adders | Synapse