Tacue: A timing-aware cuts enumeration algorithm for parallel synthesisMahmoud ElbayoumiMihir Choudhuryyet al.2014DAC 2014