2011 FINAL PROGRAM NOVEMBER 7 - DESIGN10, TOOLS ASIC 2011 ENGINEERING VERIFICATION STRUCTURE ESDA SAN JOSE,PLANS CA CHIP EFFICIENCY INNOVATION DESIGN SIGNAL MIXED MIXED OPPORTUNITY CAD LOGIC SYNTHESIS COMPLEXITY MANUFACTURING IEEE/ACM TEMPLATES APPLIED SCIENCE PATTERN FPGA EDA AUTOMATION INTERNATIONAL METHODOLOGIES TECHNOLOGY EXHIBITCONFERENCE ON ADVANCEMENT STANDARDS CONCEPTION COMPLIANCE PIONEERING MECHANICS COMPUTER-AIDED CIRCUITS NETWORKING WORKFLOWDESIGN ELECTRONIC DESIGN2011 www.ICCAD.com www.iccad.com 2011 ICCAD continues to be the premier conference devoted to technical innovations in design automation. ICCAD’s program of technical papers, tutorials, panels, and keynote highlight ICCAD continues to host one‑day topical workshops providing focused the most important current and future research challenges. A day of coverage of topics of emerging and current interest. This year, four workshops, workshops on hot topics caps a week of non‑stop technical excitement. And on lithography, variability modeling/characterization, constraints in formal as always, a large number of side meetings and social events provide plenty of verification and adaptive power management will take place on Thursday, opportunities for networking and meeting colleagues and friends. November 10. This year’s CANDE workshop will also be co‑located with ICCAD in San Jose, and held in parallel with ICCAD workshops on Thursday, November 10. This year’s ICCAD starts on Monday, November 7 and continues through Wednesday, November 9. You will find up‑to‑date details on the conference website, http://www.iccad.com. Finally, ICCAD 2011 is privileged to have a keynote address from Dr. Georg Sigl of Technische Univ. München. Prof. Sigl will provide unique insights into the design of secure hardware systems, and asks what role EDA will play in the The core of ICCAD has always been the contributed research paper program. design of future secure systems. We received 349 worldwide submissions and the technical program committee, after careful deliberation, selected 106 excellent papers for presentation. These papers are split into 26 sessions over the three days of the I hope you enjoy a week of ICCAD activities! technical program. In parallel with the technical program of submitted papers, ICCAD 2011 Joel Phillips features a full track of invited, tutorial, and special sessions. These sessions, General Chair given by world experts, are an excellent opportunity for updating your Cadence Research Labs knowledge in state‑of‑the‑art and emerging areas. Two “Designer Perspective” sessions highlight contemporary needs and gaps in EDA tools. This year we resume the traditional ICCAD panel series, exploring future EDA trends on Monday evening, and continuing discussion of the impact of parallel computation on Wednesday afternoon. November 7 - 10, 2011 • DoubleTree Hotel • San Jose, CA 2011 Table of Contents Welcome Message................................................................................................................................................................................................................ Inside Front Cover Hotel Map .....................................................................................................................................................................................................................................................................2 Best Paper Candidates/Committee ...................................................................................................................................................................................................................3 CADathlon at ICCAD ................................................................................................................................................................................................................................................4 Corporate Sponsors..................................................................................................................................................................................................................................................5 Monday ‑ Thursday Matrix ..............................................................................................................................................................................................................................6 ‑ 9 Opening Session/Awards ....................................................................................................................................................................................................................................10 Monday Keynote Address...................................................................................................................................................................................................................................11 Monday Sessions ...........................................................................................................................................................................................................................................12 ‑ 18 ACM/SIGDA Member Meeting..........................................................................................................................................................................................................................18 Tuesday Sessions ...........................................................................................................................................................................................................................................19 ‑ 27 EDA Consortium & IEEE CEDA Annual Phil Kaufman Award Dinner ................................................................................................................................................28 Wednesday Sessions ....................................................................................................................................................................................................................................29 ‑ 35 Thursday Workshops................................................................................................................................................................................................................................... 36 ‑ 40 Executive Committee .......................................................................................................................................................................................................................................... 43 Program Committee ....................................................................................................................................................................................................................................44 ‑ 45 Conference Sponsors ...................................................................................................................................................................................................................................46 ‑ 47 General Info/ICCAD Archive ......................................................................................................................................................................................................................48 ‑ 49 1 www.iccad.com 2011 2 Best Paper Candidates/Award Committee Best Paper Award Committee Helmut Graeb Azadeh Davoodi Martin D. F. Wong Yao‑Wen Chang Technische Univ. München Univ. of Wisconsin Univ. of Illinois National Taiwan Univ. Alper Demir Luis Miguel Silveira Sachin Sapatnekar Koc Univ. INSEC‑ID Univ. of Minnesota IEEE/ACM William J. McCalla ICCAD Best Paper Award Candidates Monday Sessions Wednesday Sessions 1A.1 LAYOUT DECOMPOSITION FOR TRIPLE PATTERNING LITHOGRAPHY 9B.1 FORMAL VERIFICATION OF PHASE‑LOCKED LOOPS USING Bei Yu, Boyang Zhang, Duo Ding, David Z. Pan - Univ. of Texas, Austin REACHABILITY ANALYSIS AND CONTINUIZATION Kun Yuan - Cadence Design Systems, Inc. Matthias Althoff, Akshay Rajhans, Bruce Krogh, Soner Yaldiz, Xin Li, 2A.1 A SIMPLR METHOD FOR ROUTABILITY‑DRIVEN PLACEMENT Larry Pileggi - Carnegie Mellon Univ. Jin Hu, Myung‑Chul Kim, Dong‑Jin Lee, Igor L. Markov - 9C.1 CACTI‑P: ARCHITECTURE‑LEVEL MODELING FOR SRAM‑BASED Univ. of Michigan STRUCTURES WITH ADVANCED LEAKAGE REDUCTION TECHNIQUES 2B.2 OPTIMAL STATISTICAL CHIP DISPOSITION Sheng Li, Norm Jouppi - Hewlett-Packard Labs. Vladimir Zolotov, Jinjun Xiong - IBM T.J. Watson Research Ctr. Ke Chen ‑ Univ. of Notre Dame and Hewlett-Packard Labs. 2C.1 IMPROVING SHARED CACHE BEHAVIOR OF MULTITHREADED Jay Brockman - Univ. of Notre Dame OBJECT‑ORIENTED APPLICATIONS IN MULTICORES Jung Ho Ahn - Seoul National Univ. Mahmut Kandemir, Shekhar Srikantaiah - Pennsylvania State Univ. 10A.1 GATE SIZING AND DEVICE TECHNOLOGY SELECTION ALGORITHMS Seung Woo Son - Argonne National Lab FOR HIGH‑PERFORMANCE INDUSTRIAL DESIGNS Muhammet Mustafa Ozda, Steven Burns - Intel Corp. TuesdaySessions Jiang Hu - Texas A&M Univ. 4A.1 MGR: MULTI‑LEVEL GLOBAL ROUTER Yue Xu,Chris Chu - Iowa State Univ. and Cadence Design Systems, Inc. Chris Chu - Iowa State Univ. 7B.1 MODEL ORDER REDUCTION OF FULLY PARAMETERIZED SYSTEMS BY RECURSIVE LEAST SQUARE OPTIMIZATION Zheng Zhang, Luca Daniel - Massachusetts Institute of Technology Ibrahim (Abe) M. Elfadel - Masdar Institute of Science and Tech. 3 November 7 - 10, 2011 • DoubleTree Hotel • San Jose, CA 2011 The CADathlon at ICCAD ACM/SIGDA