CONFERENCE PROGRAM CONFERENCE PROGRAM AUSTIN, TX • NOVEMBER 2-6, 2015 • ICCAD.COM In cooperation with: special interest group on design automation WELCOME TO THE 34TH ICCAD! TABLE OF CONTENTS Welcome to Austin for the 34th edition of the IEEE/ACM International Welcome Message - - - - - - - - - - - - - - - - - - - - - - 2 Conference on Computer-Aided Design! ICCAD is the premier forum to explore emerging technology challenges, present cutting-edge R&D solutions, record General Information - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 4 theoretical and empirical advances, and identify future roadmaps for design automation. Continuing a long tradition, ICCAD continues to be the home for the ACM/SIGDA CADathlon and Student Research Competition, several Best Paper Candidates & Committees - - - - - - - - - - - - - - - - 6 CAD contests, including the IEEE CEDA CAD Contest, and a remarkable set of workshops on design automation for analog and mixed-signal circuits, EDA CADathlon at ICCAD - - - - - - - - - - - - - - - - - - - - - - 7 research on learning on a chip, design for dark silicon era, variability modeling and characterization, and formal verification. Monday Schedule - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 8 The technical program of the conference is the result of a competitive selection process. The program committee received 382 worldwide submissions for review by 118 outstanding TPC members Opening Session & Award Presentations - - - - - - - - - - - - - - - - - - - - - - 10 organized into 18 subcommittees. Our rigorous double-blind review process culminated with an all-day in person meeting for the entire TPC in San Francisco where only 94 regular papers were selected for inclusion. This marks a record number of submissions and competitive selection process Monday Keynote Address - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 12 of only a 24.6% acceptance rate. In addition to the 26 regular paper sessions, the program features four keynote talks, one Designer Monday Session Details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 13 Track session, one Embedded Tutorial, eleven special sessions, and one collocated Wednesday evening panel hosted by Synopsys. The scope of presentations included in the program spans all aspects ACM Student Research Competition Poster Session - - - - - - - - - - - - 17 of modern problems in design automation, with a forward-looking coverage of hardware security, smart buildings, statistical learning on silicon, and smart hardware acceleration. Continuing last year’s Monday Invited Keynote Luncheon - - - - - - - - - - - - - - - - - 18 tradition, we hope you will join us every morning for the fast track session charting the day with a mini preview of the presentations to come. Tuesday Schedule- - - - - - - - - - - - - - - - - - - - - - - 30 This year marks the fourteenth edition of the SIGDA CADathlon competition which, every Sunday at ICCAD, gathers the brightest minds in design automation for a one-day of full speed coding for EDA. Tuesday Session Details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 32 Join us on Monday morning to find out who the winners are! For several years, ICCAD has been the venue for hosting the IEEE CEDA/Taiwan Ministry of Education CAD Contest. This year the contest problems on 3D IC design and optimization, equivalence checking, and timing-driven placement ACM Student Research Competition Technical Presentations - - - - - - - - - - - - 32 attracted 112 participating teams worldwide, the largest on record. The contest results are announced during the Monday evening contest session, along with the release of contest benchmarks. Joining Tuesday Invited Keynote Luncheon - - - - - - - - - - - - - - - - - - - - - - - - - 36 this tradition, the TAU contest on incremental timing analysis and the IEEE Rebooting Computing Challenge for Low Power Image Recognition will also present the problems and best results in their ACM/SIGDA Membership Meeting - - - - - - - - - - - - - - - - - - - - - - - - - 45 categories. Please join the contestants and problem proposers on Monday evening for presentations and networking with your peers. Wednesday Schedule- - - - - - - - - - - - - - - - - - - - - - 47 We are fortunate to host several distinguished keynote speakers this year: the Monday morning keynote is by Lydia Kavraki, Harding Professor of Computer Science at Rice University, on the connections between robotics, bioinformatics, and design automation. An additional Monday Wednesday Keynote Address - - - - - - - - - - - - - - - - - - - 48 luncheon keynote is presented by Chuck Alpert, Senior Architect at Cadence Design Systems on unexpected applications of logic synthesis to NCAA gaming. On Tuesday, the IEEE CEDA Luncheon Wednesday Session Details - - - - - - - - - - - - - - - - - - - - 49 Distinguished Lecture is presented by Steve Keckler, Senior Director of Architecture Research at NVIDIA. Renu Mehra, R&D Director at Synopsys, will give the final keynote of the conference on Thursday & Friday Schedule- - - - - - - - - - - - - - - - - - - - 62 Wednesday morning on the importance of energy efficient computing in the presence of emerging applications and technologies. We hope that these keynotes, together with the rest of the conference, will make ICCAD the ultimate destination for all design automation practitioners and researchers. Thursday & Friday Workshops - - - - - - - - - - - - - - - - - - - - - - - - - - - 63 We are grateful to our ICCAD 2015 sponsors and supporters for making this conference another successful event. Executive Committee- - - - - - - - - - - - - - - - - - - - - - 69 Enjoy ICCAD in Austin! Technical Program Committee - - - - - - - - - - - - - - - - - - - - - - - - - - - 70 Conference Sponsors - - - - - - - - - - - - - - - - - - - - - - 72 Diana Marculescu, ICCAD 2015 General Chair Carnegie Mellon University, Dept. of Electrical and Computer Engineering 2 3 GENERAL INFORMATION - FOR SPEAKERS & PRESENTERS - SPEAKERS’ BREAKFAST Please attend the day of your presentation! Room: Phoenix North Monday, November 2 7:00am ‑ 8:00am Tuesday, November 3 8:00am ‑ 9:00am Wednesday, November 4 7:00am ‑ 8:00am NEED PRACTICE? The DeWitt and Robertson rooms are available and are set up with a computer, LCD projector and screen to view your slides before your session. Room: DeWitt and Robertson Monday, November 2 7:00am ‑ 6:00pm Tuesday, November 3 7:00am ‑ 6:00pm Wednesday, November 4 7:00am ‑ 4:00pm - ICCAD SOCIAL MEDIA - Connect with ICCAD through Twitter@ICCAD. ICCAD will be tweeting hourly updates and conference highlights! Find ICCAD on LinkedIn and keep up to date with the latest news and insights. - REGISTRATION HOURS & LOCATION - Room: Prefunction Central Monday, November 2 7:00am – 6:00pm Tuesday, November 3 7:00am – 6:00pm Wednesday, November 4 7:00am – 6:00pm Thursday, November 5 7:00am – 6:00pm Friday, November 6 7:00am – 10:00am - PARKING INFORMATION - Attendees receive complimentary day use self-parking and $5.00/day overnight self-parking at the DoubleTree by Hilton Austin. - CONFERENCE MANAGEMENT - Our mission is to facilitate networking, education and marketing with efficiency and precision in order to maximize customer experiences, and client profitability and recognition. We accomplish this by having a committed staff of trade show production organizers with the training, technology tools, processes and experience to offer the best service in the industry. Visit mpassociates.com for more information. 4 BEST PAPER CANDIDATES & AWARD COMMITTEES SUNDAY, NOVEMBER 1 IEEE/ACM William J. McCalla ICCAD Best Paper ACM SIGDA CADathlon 2015 at ICCAD Award Candidates Time: 8:00am ‑ 5:00pm | Room: Phoenix South The CADathlon is a challenging, all-day, programming competition focusing on practical Monday, November 2 problems at the forefront of Computer-Aided Design, and Electronic Design Automation Session 1A.1: Can’t See the Forest for the Trees: State Restoration’s Limitations in in particular. The contest emphasizes the knowledge of algorithmic techniques for CAD Post-silicon Trace Signal Selection applications, problem-solving and programming skills, as well as teamwork. Sai Ma, Debjit Pal, Rui Jiang ‑ Univ. of Illinois at Urbana‑Champaign In its fourteenth year as the “Olympic games of EDA,” the contest brings together the Sandip Ray ‑ Intel Corp. best and the brightest of the next generation of CAD professionals. It gives academia Shobha Vasudevan ‑ Univ. of Illinois at Urbana‑Champaign and the industry a unique perspective on challenging problems and rising stars, and it also helps attract top graduate students to the EDA field. The contest is open to two- person teams of graduate students specializing in CAD and currently full-time enrolled in Tuesday, November 3 a Ph.D. granting institution in any country. Students are selected based on their academic Session 4B.2: Defect Clustering-Aware Spare-TSV Allocation for 3D ICs backgrounds and their relevant EDA programming experiences. Travel grants are provided Shengcheng Wang, Mehdi B. Tahoori - Karlsruhe Institute of Technology to qualifying students. Krishnendu Chakrabarty ‑ Duke Univ. The CADathlon competition consists of six problems in the following areas: (1) Circuit analysis Session 5A.1: A Polyhedral-based SystemC Modeling and Generation Framework for (2) Physical design Effective Low-power Design Space Exploration (3) Logic and behavioral synthesis Wei Zuo, Warren Kemmerer, Jong Bin Lim ‑ Univ. of Illinois at Urbana‑Champaign