Buffer tree synthesis with consideration of temporal locality, sink polarity requirements, solution cost, congestion, and blockages
Statistical timing analysis using bounds and selective enumeration
Timing-driven logic bi-decomposition