David S. Kung Ruchir Puri CAD challenges for 3D ICs. 421-422 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509737 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#KungP09