Buffer tree synthesis with consideration of temporal locality, sink polarity requirements, solution cost, congestion, and blockages | IEEE Journals & Magazine | IEEE Xplore