Novel binary linear programming for high performance clock mesh synthesisMinsik ChoDavid Z. Panet al.2010ICCAD 2010
SPIRE: A retiming-based physical-synthesis transformation systemDavid A. PapaSmita Krishnaswamyet al.2010ICCAD 2010
3D-ICE: Fast compact transient thermal modeling for 3D ICs with inter-tier liquid coolingArvind SridharAlessandro Viricenziet al.2010ICCAD 2010