conference program - iccad...conference program november 13-16, 2017 • irvine, ca • iccad.com in...

C O N F E R E N C E P R O G R A M

NOVEMBER 13-16, 2017 • Irvine, CA • ICCAD.COMIn cooperation with:

special interest group on

design automation

NOVEMBER 13-16, 2017 • Irvine, CA • ICCAD.COM

http://ICCAD.COM

http://ICCAD.COM

• WELCOME TO THE 36TH ICCAD •

It is with great pleasure that I welcome you to the 36th International Conference on Computer Aided Design. ICCAD is being held for the first time in the city of Irvine, a place that I hold dear.

In this increasingly compute centric world, there is increased demand for electronic design automation with exciting changes and challenges being faced in the way we design, compute, and deploy systems. For over thirty-five years, ICCAD has been a premier forum that

has paved the way in creating systems which are fast, small, power efficient, low cost, correct, manufacturable, and reliable. Recent keynotes, papers, tutorials and workshops at ICCAD have addressed novel technologies, the exciting prospects offered by deep learning, newer memories, IoT, approximate computing, and security concerns amongst others. This year’s program promises to be equally exciting. Executive committee members, the technical program committee members, volunteers and the staff from MP Associates have worked tirelessly over the last year to prepare a stimulating program.

The program consists of 29 regular paper sessions, with 105 papers drawn from a submission of 399 papers. For over a month, 125 technical program committee members scrutinized the papers, and in a face-to-face meeting selected these papers for inclusion in the program. There are nine special sessions and two embedded tutorials that will be presented during the three days. A record six workshops will be held on the Thursday after the regular conference. Three keynotes will be presented by eminent researchers. The first, on Monday, will be given by Krysta Svore from Microsoft Research titled “Quantum Computing: Revolutionizing computation through quantum mechanics”. The Wednesday keynote will be by Todd Austin from The University of Michigan on “How EDA Could Save the World (of Computing)” and the CEDA Invited Keynote will be presented on Tuesday by Maja Matarić from the University of Southern California.

On Thursday, there are six stimulating workshops on a variety of trending topics. These are: Workshop on Hardware and Algorithms for Learning On-a-chip (HALO); International Workshop on Design Automation for Analog and Mixed-Signal Circuits; IEEE/ACM 10th Workshop on Variability Modeling and Characterization; Electronic Design Automation for Quantum Computers; EDA/CAD in the IoT eHealth Era: From Devices to Architectures, Applications, and Data Analytics; and, Workshop on Non-Conventional Approaches to Hard Optimization (NAHO). Note that these workshops have exciting programs in themselves with keynotes from leading exponents.

Once again ICCAD promises to be on the cutting edge of EDA research. We do hope you will be able to join us next year for ICCAD 2018 November 5 -9, Hilton San Diego Resort and Spa, San Diego, CA.

ICCAD 2017 GENERAL CHAIRSri Parameswaran

Univ. of New South Wales School of Computer Science & Engineering

2

Are You Ready to Create Tomorrow’s Technology...Today?Explore career opportunities at Cadence

Ignite Your PassionCadence® technology is at the forefront of innovation. Join us in making an impact on the next generation of electronics. Tackle real-world challenges effecting our customers, and work with industry experts to grow in your career. Apply today at www.cadence.com/cadence/careers.

Innovation Starts HereWe are an innovative, diverse, and global team. We put our customers first, value integrity and accountability, and are agile in meeting the demands of our fast-paced industry. We are One Cadence—One Team!

Academic Network The Cadence Academic Network is a worldwide community of students, leading educators, and researchers. Enjoy the benefits of collaboration with fellow experts—join us today at www.cadence.com/site/academicnetwork.

Meet Us at ICCAD Learn more about Cadence, our technology, our culture, and why it’s a great place to work. Join us on Monday, November 13, from 6:00pm – 6:20pm in Salons B2 & C.

http://www.cadence.com/cadence/careers

http://www.cadence.com/site/academicnetwork

3

• TABLE OF CONTENTS •

Welcome Message 2

General Information 4

Best Paper Candidates & Committees 6

CADathlon at ICCAD 7

Monday Schedule 8

Opening Session & Award Presentations 10

Monday Keynote Address 11

Monday Session Details 12

ACM Student Research Competition Poster Session 16

ACM Student Research Competition Technical Presentations 25

Tuesday Schedule 26

Tuesday Session Details 28

Tuesday Invited Keynote Luncheon 36

ACM/SIGDA Membership Meeting 45

Wednesday Schedule 46

Wednesday Keynote Address 48

Wednesday Session Details 49

Thursday Schedule 60

Thursday Workshop Details 61

Executive Committee 67

Technical Program Committee 68

Conference Sponsors 70

Marriott Hotel Map 73

4

• GENERAL INFORMATION •

Registration Hours & Location

Location: Salon E FoyerMonday, November 13 7:00am – 6:00pm Tuesday, November 14 7:30am – 6:00pm Wednesday, November 15 7:30am – 6:00pm Thursday, November 16 7:00am – 4:00pm

ICCAD 2017 Mobile App Review the program, save sessions to your personalized conference schedule, read speakers abstracts, and connect with other attendees using the ICCAD 2017 mobile app provided by Whova, available for download today. Download Whova and search for ICCAD 2017.

Proceedings ICCAD Conference Papers will be delivered electronically online via a username and password. To access: http://proceedings.iccad.com Badge ID = Registration ID (on your badge)Your Email = Email address Please refer to your registration receipt to access the files you are eligible to view.

http://proceedings.iccad.com

5

• GENERAL INFORMATION •

Parking Information Discounted event self-parking of $12.00 per vehicle.

For Speakers & Presenters SPEAKERS’ BREAKFASTPlease attend the day of your presentation! Location: Salon DMonday, November 13 8:00 ‑ 8:45amTuesday, November 14 7:15 ‑ 8:00amWednesday, November 15 8:00 ‑ 8:45am

NEED PRACTICE?An AV Practice Room will be available in Suite 206, set up with a computer, LCD projector, and screen for you to practice/view your slides before your session.Location: Suite 206Monday, November 13 7:00am ‑ 6:00pm Tuesday, November 14 7:00am ‑ 6:00pm Wednesday, November 15 7:00am ‑ 6:00pm

ICCAD Social Media Connect with ICCAD through Twitter @ICCAD. ICCAD will be tweeting hourly updates and conference highlights

Stay Connected during the Conference ICCAD 2017 is offering internet access in the meeting rooms for attendees. The Wi-Fi connection is Marriott Conference, password: ICCAD2017.

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.

http://mpassociates.com

6

• BEST PAPER CANDIDATES & AWARD COMMITTEES •

IEEE/ACM William J. McCalla ICCAD Best Paper Award CandidatesTUESDAY, NOVEMBER 144B.2 SpeedingUpCrossbarResistiveMemorybyExploitingIn-memoryDataPatterns WenWen,LeiZhao,YoutaoZhang,JunYang–Univ.ofPittsburgh5D.1 ATRIUM:RuntimeAttestationResilientUnderMemoryAttacks ShazaZeitouni,GhadaDessouky,AhmadIbrahim,Ahmad-RezaSadeghi–Technische Univ.Darmstadt OrlandoArias–Univ.ofCentralFlorida DeanSullivan,YierJin–Univ.ofFlorida6A.4 COMBA:AComprehensiveModel-BasedAnalysisFrameworkforHighLevel SynthesisofRealApplications JieruZhao,LiangFeng,WeiZhang–HongKongUniv.ofScienceandTechnology SharadSinha–NanyangTechnologicalUniv. Yun(Eric)Liang–PekingUniv. BingshengHe–NationalUniv.ofSingapore

WEDNESDAY, NOVEMBER 158A.3 SALT:ProvablyGoodRoutingTopologybyaNovelSteinerShallow-LightTreeAlgorithm GenjieChen,PeishanTu,EvangelineF.Y.Young–ChineseUniv.ofHongKong8C.1 AdaptiveErrorRecoveryinMEDABiochipsBasedonDroplet-AliquotOperationsand PredictiveAnalysis ZhanweiZhong,ZipengLi,KrishnenduChakrabarty–DukeUniv.10B.1Cost-EffectiveDesignofScalableHigh-PerformanceSystemsusingActiveand PassiveInterposers DylanStow,YuanXie–Univ.ofCalifornia,SantaBarbara TaniyaSiddiqua,GabrielH.Loh–AdvancedMicroDevices,Inc.

IEEE/ACM William J. McCalla ICCAD Best Paper Award Selection Committee

NaehyuckChang(Chair) - Korea Advanced Institute of Science and Technology (KAIST)DemingChen - Univ. of Illinois Urbana-ChampaignAzadehDavoodi - Univ. of Wisconsin - MadisonGangQu - Univ. of Maryland, College ParkXuanZeng - Fudan Univ., China

Ten‑Year Retrospective Most Influential Paper Award Selection Committee

JasonCong(Chair) - Univ. of California, Los AngelesDuaneBoning - Massachusetts Institute of TechnologyVivekDe - Intel Corp.RameshKarri - New York Univ.TulikaMitra - National Univ. of Singapore

7

• ACM SIGDA CADATHLON 2017 AT ICCAD •

Sponsored by:special interest group on

design automation

ACM SIGDA CADathlon 2017 at ICCADTime: 8:00am - 5:00pm | Location: Salons A,B & C The CADathlon is a challenging, all-day, programming competition focusing on practical problems at the forefront of Computer-Aided Design, and Electronic Design Automation in particular. The contest emphasizes the knowledge of algorithmic techniques for CAD applications, problem-solving and programming skills, as well as teamwork.

In its sixteenth year as the “Olympic games of EDA,” the contest brings together the best and the brightest of the next generation of CAD professionals. It gives academia 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 a Ph.D. granting institution in any country. Students are selected based on their academic backgrounds and their relevant EDA programming experiences. Travel grants are provided to qualifying students. The CADathlon competition consists of six problems in the following areas:

(1) Circuit analysis(2) Physical design(3) Logic and behavioral synthesis(4) System design and analysis(5) Functional verification(6) Future technologies (Bio-EDA, Security, etc.)

More specific information about the problems and relevant research papers will be released on the Internet one week prior to the competition. The writers and judges that construct and review the problems are experts in EDA from both academia and industry. At the contest, students will be given the problem statements and example test data, but they will not have the judges’ test data. Solutions will be judged on correctness and efficiency. Where appropriate, partial credit might be given. The team that earns the highest score is declared the winner. In addition to handsome trophies, the first and second place teams will receive cash award.

Contest winners will be announced at the ICCAD Opening Session on Monday morning and celebrated at the ACM/SIGDA Dinner and Member Meeting.

The CADathlon competition is sponsored by ACM/SIGDA and several Computer and EDA companies. For detailed contest information and sample problems from last year’s competition, please visit the ACM/SIGDA website at http://www.sigda.org/programs/cadathlon.

ORGANIZING COMMITTEE:Chair, Jingtong Hu, University of Pittsburgh, ([email protected])Vice Chair, Iris Hui-Ru Jiang, National Taiwan University ([email protected])Vice Chair, JV Rajendran University of Texas at Dallas ([email protected])

8

• MONDAY SCHEDULE •

8:45 - 9:15amOpening Session & Awards Location: Salon E

9:15 - 10:00amKeynote: Quantum Computing: Revolutionizing Computation Through Quantum Mechanics Dr. Krysta Svore - Microsoft Research | Location: Salon E

10:00 - 10:30amCoffee Break Location: Salon E Foyer

10:30am - 12:30pmSession 1A: Advanced Caching and In-Memory Processing Location: Salon E

Session 1B: Camouflaging and Logic Encryption Location: Salons A & B1

Session 1C: Improving Manufacturability – From Design through Mask Generation Location: Salons B2 & C

Special Session 1D: Cross-Layer Efforts for Combating Computationally Hard Problems Location: Newport & Marina

11:30am - 1:30pmACM Student Research Competition Poster Session Location: SSR

12:45 - 1:45pmLunch Location: Salon D

Sponsored by:

9

• MONDAY SCHEDULE •

2:00 - 4:00pmSession 2A: Modern Techniques for Challenging Verification Problems Location: Salon E

Session 2B: Physical Attacks: Implementation, Simulation, and Synthesis Location: Salons A & B1

Special Session 2C: 3D Integration Beyond TSVs Location: Salons B2 & C

Special Session 2D: AI for CPS: Machine Learning for Intelligent and Secure Cyber-Physical Systems Location: Newport & Marina

4:00 - 4:30pmCoffee Break Location: Salon E Foyer

4:30 - 6:00pmSession 3A: New Advances in Circuit Simulation Location: Salon E

Session 3B: Intelligent Control on Wheels Location: Salons A & B1

Session 3C: Next Generation System Level Design Methods Location: Salons B2 & C

Special Session 3D: 2017 CAD Contest Location: Newport & MarinaSponsored by:

6:00 - 6:20pmEDA Megatrends: Enabling a Wide and Dynamic Range of Applications Location: Salons B2 & C

6:20 - 6:50pmNetworking Reception Location: Salon E Foyer

6:30 - 8:00pmACM Student Research Competition Technical Presentations Location: Salon E Sponsored by:

Sponsored by:

MONDAY, NOVEMBER 13

10

KickofftheconferencewithopeningremarksfromtheICCADExecutiveCommitteemembersandhearthehighlightsoftheconference.TheIEEE/ACMWilliamJ.McCallaICCADBestPaperawardwillbeannouncedalongwithotherawardpresentationsfromIEEEandACM.

Opening Session, Awards, and KeynoteTime: 8:45am - 10:00am | Location: Salon E

IEEE/ACM WILLIAM J. MCCALLA ICCAD BEST PAPER AWARDThisawardisgiveninmemoryofWilliamJ.McCallaforhiscontributionstoICCADandhisCADtechnicalworkthroughouthiscareer.

Front-End Award:6A.4 COMBA:AComprehensiveModel-BasedAnalysisFrameworkforHighLevel SynthesisofRealApplications JieruZhao,LiangFeng,WeiZhang–HongKongUniv.ofScienceandTechnology SharadSinha–NanyangTechnologicalUniv. BingshengHe–NationalUniv.ofSingapore

Back-End Award: 8A.3 SALT:ProvablyGoodRoutingTopologybyaNovelSteinerShallow-LightTreeAlgorithm GenjieChen,PeishanTu,EvangelineF.Y.Young–ChineseUniv.ofHongKong

TEN YEAR RETROSPECTIVE MOST INFLUENTIAL PAPER AWARDThisawardisbeinggiventothepaperjudgedtobethemostinfluentialonresearchandindustrialpracticeincomputer-aideddesignoverthetenyearssinceitsoriginalappearanceatICCAD.2008PaperTitled:LightweightSecurePUFs

MehrdadMajzoobi,FarinazKoushanfar-RiceUniv.,MiodragPotkonjak-Univ.ofCalifornia,LosAngelesICCAD2008,pp.670–673

2017 ACM/SIGDA PIONEER AWARDMaryJaneIrwin,EmeritusEvanPughUniversityProfessorinComputerScienceandEngineering- Pennsylvania State UniversityForcontributionstoVLSIarchitectures,electronicdesignautomationandcommunitymentorship.

IEEE CEDA OUTSTANDING SERVICE AWARDDr.FrankLiu-IBM Research Austin ForoutstandingservicetotheEDAcommunityasICCADGeneralChairin2016.

IEEE CEDA ERNEST S. KUH EARLY CAREER AWARDAyseCoskun-Boston University Forsustainedandoutstandingcontributionstoenergy-efficientsystem-leveldesign,includingtemperature-awaredesignandmanagement,3D-stackedsystemdesign,andmanagementoflarge-scalecomputingsystems.

ACM/SIGDA CADATHALONIntroductionofthe2017winners.

11

• KEYNOTE ADDRESS •

Speaker:Dr.KrystaSvore - Microsoft Research

In1981,RichardFeynmanproposedadevicecalleda“quantumcomputer”totakeadvantageofthelawsofquantumphysicstoachievecomputationalspeed-upsoverclassicalmethods.Quantumcomputingpromisestorevolutionizehowandwhatwecompute.Overthecourseofthreedecades,quantumalgorithmshavebeendevelopedthatofferfastsolutionstoproblemsinavarietyoffieldsincludingnumbertheory,optimization,chemistry,physics,andmaterialsscience.Quantumdeviceshavealsosignificantlyadvancedsuchthatcomponentsofascalablequantumcomputerhavebeendemonstrated;thepromiseofimplementingquantumalgorithmsisinournearfuture.Iwillattempttoexplainsomeofthemysteriesofthisdisruptive,revolutionarycomputationalparadigmandhowitwilltransformourdigitalage.

Biography:Dr.KrystaSvoreisaPrincipalResearcherandResearchManageratMicrosoftResearch,wheresheleadstheQuantumArchitecturesandComputation(QuArC)group.Dr.SvorejoinedMicrosoftResearchin2006andstartedtheQuArCgroupin2010.Herresearchfocusesonthedevelopmentandimplementationofquantumalgorithms,includingthedesignofascalable,fault-tolerantsoftwarearchitecturefortranslatingahigh-levelquantumprogramintoalow-level,device-specificquantumimplementation.Shehasalsodevelopedtechniquesforprotectingquantumcomputersfromnoise,includingmethodsofquantumerrorcorrection,establishmentofnoisethresholds,andthedevelopmentofimproveddecoders.ShespentherearlyyearsatMicrosoftdevelopingmachine-learningmethodsforwebapplications,includingranking,classification,andsummarizationalgorithms.Herworkinmachinelearninghasexpandedtoincludequantumalgorithmsforimprovemachinelearningmethods.Dr.SvorewasrecentlyappointedasamemberoftheAdvancedScientificComputingAdvisoryCommitteeoftheDepartmentofEnergyandchairedthe2017QuantumInformationProcessingConference.SvorereceivedanACMBestof2013NotableArticleaward.In2010,shewasamemberofthewinningteamoftheYahoo!LearningtoRankChallenge.Dr.SvoreishonoredasaKavliFellowoftheNationalAcademyofSciences.SheisaSeniorMemberoftheAssociationforComputingMachinery(ACM),servesasarepresentativefortheAcademicAllianceoftheNationalCenterforWomenandInformationTechnology(NCWIT),andisanactivememberoftheAmericanPhysicalSociety(APS).Dr.Svorehasauthoredover65papersandhasfiledover20patents.ShereceivedherPhDincomputersciencewithhighestdistinctionfromColumbiaUniversityandherBAfromPrincetonUniversityinMathematicswithaminorinComputerScienceandFrench.

Keynote: Quantum Computing: Revolutionizing Computation Through Quantum MechanicsTime: 9:15am - 10:00am | Location: Salon E

MONDAY, NOVEMBER 13

Allspeakersaredenotedinbold|*denotesBestPaperCandidate

12

Session 1A - Advanced Caching and In-Memory ProcessingTime: 10:30am - 12:30pm | Location: Salon EModerator:

MiroslavN.Velev - Aries Design Automation, LLC

Thissessionpresentsfourpaperstoadvancethedesignofcachememoriesandtakeadvantageofin-memoryprocessingtoaccelerateapplications.Thefirstpaperbuildsanefficienthybridcacheformulticoreprocessorsbyexploitingvaluelocality.ThesecondpaperexplorescachebypassingandpartitioningonGPUs.ThethirdpaperproposesavirtualpersistentcacheconcepttoremedythelonglatencyinHost-AwareShingledMagneticRecording(HA-SMR)drives.Thefinalpaperpresentamemristor-basedin-memoryprocessingforacceleratingobjectrecognitiontasks.

1A.1 LeveragingValueLocalityforEfficientDesignofaHybridCacheinMulticoreProcessorsMohammadArjomand - Georgia Institute of TechnologyAminJadidi,MahmutKandemir,ChitaDas - Pennsylvania State Univ.

1A.2 Exploring CacheBypassingandPartitioningforMultiTaskingonGPUsYun(Eric)Liang,XiuhongLi,XiaolongXie - Peking Univ.

1A.3 VirtualPersistentCache:RemedytheLongLatencyBehaviorofHost-AwareShingled MagneticRecordingDrives

Ming-ChangYang - Chinese Univ. of Hong Kong, Chinese Univ. of Hong Kong & Academia Sinica and National Taiwas Univ.Yuan-HaoChang - Academia SinicaFenggangWu - Univ. of Minnesota, Twin CitiesTei-WeiKuo - National Taiwan Univ. & Academia SinicaDavidH.C.Du - Univ. of Minnesota, Twin Cities

1A.4 ORCHARD:VisualObjectRecognitionAcceleratorBasedonApproximate In-MemoryProcessing

YeseongKim,MohsenImani,TajanaRosing - Univ. of California, San Diego

MONDAY, NOVEMBER 13


13

Session 1B - Camouflaging and Logic EncryptionTime: 10:30am - 12:30pm | Location: Salons A & B1Moderator:

FareenaSaqib - Florida Institute of Technology

Thissessioncoverscamouflagingandlogicencryptionattacksandcountermeasures.Topicsincludeattacksondecamouflagingsequentialcircuitswithoutscanaccess,SAT-basedattackoncycliclogicencryption,andavarietyofnovelcountermeasuretechniquesforstoringobfuscatedmasterkeyswithquantifiablesecurityandobfuscationofinterconnects.

1B.1 ReverseEngineeringCamouflagedSequentialCircuitsWithoutScanAccessMohamedElMassad,SiddharthGarg - New York Univ.MaheshTripunitara - Univ. of Waterloo

1B.2 ObfuscatingtheInterconnects:Low-CostandResilientFull-ChipLayoutCamouflagingSatwikPatnaik - New York Univ.MohammedAshraf,JohannKnechtel,OzgurSinanoglu - New York Univ., Abu Dhabi

1B.3 CycSAT:SAT-BasedAttackonCyclicLogicEncryptionsHaiZhou,RuifengJiang,ShuyuKong - Northwestern Univ.

1B.4 Threshold-basedObfuscatedKeyswithQuantifiableSecurityAgainstInvasiveReadoutShahrzadKeshavarz,DanielHolcomb - Univ. of Massachusetts, Amherst

MONDAY, NOVEMBER 13


14

Session 1C - Improving Manufacturability -- From Design through Mask GenerationTime: 10:30am - 12:30pm | Location: Salons B2 & CModerator:

SrikanthVenkataraman - Intel Corp.

Assuringmanufacturabilityofpresentandfuturetechnologiesanddesignsiscrucial,andmultiplemethodsareneededtoachievethis.First,designsmustbettercomprehendprocessconstraints.Thefirstpapereffectivelyfactorsinimplant-areaconstraintsinmulti-Vtdesigns,duringmixed-cell-heightplaceandroute.Second,potentiallayouthotspotsmustbeefficientlyidentifiedinacandidatedesign.Thesecondpaperachievesclustercountreductionduringlayoutpatternclassificationusingproposedheuristics.Third,manufacturablemulti-patternedmasksmustbegenerated,andthethirdpaperproposesanovelframeworktosimultaneouslyoptimizelayoutdecompositionandmaskcorrections.Finally,futuretechnologiesanddesignswillrequirejointmulti-objectiveconsiderationofalternatives,aspresentedinthelastpaper.

1C.1 Mixed-Cell-HeightDetailedPlacementConsideringComplex Minimum-Implant-AreaConstraintsYen-YiWu,Yao-WenChang - National Taiwan Univ.

1C.2 Blockage-AwareTerminalPropagationforPlacementWirelengthMinimizationSheng-WeiYang,Yao-WenChang - National Taiwan Univ.Tung-ChiehChen - Maxeda Technology, Inc.

1C.3 AUnifiedFrameworkforSimultaneousLayoutDecompositionandMaskOptimizationYuzheMa - Chinese Univ. of Hong KongJhih-RongGao,JianKuang,JinMiao - Cadence Design Systems, Inc.Bei Yu - Chinese Univ. of Hong Kong

1C.4 IR-dropAwareDesign&TechnologyCo-OptimizationforN5NodewithDifferentDeviceandCellHeightOptionsLucaMattii - Technische Univ. Braunschweig & Cadence Design systems, Inc.DragomirMilojevic,PeterDebacker,YasserSherazi - IMECMladenBerekovic - Technische Univ. BraunschweigPraveenRaghavan - IMEC

MONDAY, NOVEMBER 13


15

Moderator:MichaelNiemier - Univ. of Notre Dame

Organizers:X.SharonHu - Univ. of Notre DameMichaelNiemier - Univ. of Notre Dame

Computationallyhard(i.e.,NP-hard)problemsarequintessentialtomanyelectronicdesignautomationproblems,andarealsoattheheartofmanydecision,scheduling,error-correctionandsecurityapplications.TheirNP-hardnaturemakessolvingthemextremelyresourcedemanding,eitherintermsofcomputationtimeorhardwarecomponentsorenergy.Mostoftheeffortsonimprovingsolversforsuchproblemsaimatdevelopingmoreeffectivesearchalgorithmswiththeunderstandingthatthesealgorithmswouldeventuallybeimplementedonmoderngeneral-purposedigitalcomputingplatformssuchasmulti-coreormany-coreprocessorsorapplicationspecificdigitalcircuits.

However,withMoore’sLawcomingtoanend,exploringnovelcomputationalparadigms(e.g.,quantumcomputingandneuromorphiccomputing)supportedbyemergingdevicesandalternativecircuitstylesismoreimperativethanever.Recentlytherehasbeenincreasedinterestincross-layereffortsfordesigninganalog,ormixed-signalsolversforsomespecificNP-hardoptimizationproblemsbasedoncontinuous-timedynamicalsystems.Furthermore,anumberofresearchersareinvestigatingapproachesthatexploitintrinsicpropertiesexhibitedbycertainbeyond-CMOSdevicestosolveNP-hardoptimizationproblems.

Inthisspecialsession,wehighlightfourcross-layerresearcheffortstargetedatsolvingNP-hardproblems(e.g.,satisfiability,graphcoloring,etc.)usingcomputationalprimitivesthat(i)exploitspatio-temporaldynamicsofcoupledsystems,and(ii)avoidBooleanabstractioninordertoachievehighefficiencieswithrespecttoenergyandperformance.Thespeakerswillpresentarangeofnewsolverimplementationsincludingmixedsignalcircuitsbasedonconventionaltransistors,oscillatorsderivedfromphasetransitionsincorrelatedelectronmaterials,andspin-baseddevices.Whileallapproachesofferpathstowardspeedupsand/orimprovementsinenergyefficienciesofseveralordersofmagnitudewhencomparedtostate-of-the-artapproaches,challengesexistthatthemembersoftheEDAcommunityareuniquelypositionedtoaddress,e.g.,managingroutingcomplexityasproblemsizesscale,addressingnoisetolerance,etc.

1D.1 SolvingConstraintSatisfactionProblems:FromNeuralDynamicstoSiliconChipsHeshamMostafa - Univ. of California, San DiegoGiacomoIndiveri - Univ. of ZurichLorenzK.Muller - ETH Zurich

1D.2 AnAnalogSATSolverbasedonaDeterministicDynamicalSystemXunzhaoYin,ZoltanToroczkai,X.SharonHu - Univ. of Notre Dame

1D.3 ConnectingSpectralTechniquesforGraphColoringandEigenPropertiesofCoupled Dynamics:APathwayforSolvingCombinatorialOptimizations

AbhinavParihar - Georgia Institute of TechnologyMatthewJerry,NikhilShukla,SumanDatta - Univ. of Notre DameArijitRaychowdhury - Georgia Institute of Technology

1D.4 Spin-DeviceBasedCircuitsforComputationallyHardProblemsKeremYCamsari,RafatulFaria,BrianM.Sutton,SupriyoDatta - Purdue Univ.

Special Session 1D: Cross-Layer Efforts for Combating Computationally Hard ProblemsTime: 10:30am - 12:30pm | Location: Newport & Marina

MONDAY, NOVEMBER 13


16

ACM Student Research Competition Poster SessionTime: 11:30am - 1:30pm | Location: SSRSponsoredbyMicrosoftResearch,theACMStudentResearchCompetition(SRC)isaninternationallyrecognizedvenueenablingundergraduateandgraduatestudentswhoaremembersofACMandACMSIGDAto:•Experiencetheresearchworld—formanyundergraduatesthisisafirst!•Shareresearchresultsandexchangeideaswithotherstudents,judges,andconferenceattendees.•Rubshoulderswithacademicandindustryluminaries.•Understandthepracticalapplicationsoftheirresearch.•Perfecttheircommunicationskills.•ReceiveprizesandgainrecognitionfromACM,andthegreatercomputingcommunity.

ACMSRChasthreerounds:(1)abstractreview(2)postersession(thissession)(3)technicalpresentation

Inthefirstround,2-pageresearchabstractsareevaluatedbyEDAexpertsfromacademiaandindustrytoselectparticipantsforthesecondround(thissession).FortheACMSRCatICCAD2016competition,20participantswereselectedtopresenttheirresearchatICCAD.

ThepostersareevaluatedbyEDAexpertstoselectupto5participantsingraduateandundergraduatecategoriestoadvancetothefinalround(technicalpresentationround).Studentsareexpectedtodiscusstheirworkwithjudges.Eachjudgewillratethestudent’svisualpresentationbasedonthecriteriaofuniquenessoftheapproach,thesignificanceofthecontribution,visualpresentation,andqualityofpresentation.

Moredetailscanbefoundat:sigda.org/src

Sponsored by:

MONDAY, NOVEMBER 13


17

LunchTime: 12:45pm - 1:45pm | Location: Salon DJoinfellowattendeesforlunchinSalonD.

Session 2A - Modern Techniques for Challenging Verification ProblemsTime: 2:00pm - 4:00pm | Location: Salon EModerator:

IanHarris - Univ. of California, Irvine

ThissessionpresentsarangeofSAT-basedtechniquestoconquermajorchallengesinpre-silicon,post-silicon,repairandfunctionaltiming.ThefirstpaperproposesanovelapproachforSAT-basedmodelcheckingusingapproximations.Thesecondpaperintroducesanapproachforimprovingthecoverageofelectricalbugsinpostsiliconvalidation.Thethirdpaperformulatestheproblemofpatchingsequentialcircuitsinthepresenceofretimingandresynthesis.ThefinalpaperinthesessionacceleratesfunctionaltiminganalysisbyremovingredundanciesfromtheCNFformulathatdescribesthefunctionalandtimingconstraintsonapath.

2A.1 SafetyModelCheckingwithComplimentaryApproximationsJianwenLi - Rice Univ. & East China Normal Univ.ShufangZhu,YuelingZhang,GeguangPu - East China Normal Univ.MosheVardi - Rice Univ.

2A.2 AnAutomatedSAT-BasedMethodfortheDesignofOn-ChipBit-FlipDetectorsPouyaTaatizadeh,NicolaNicolici - McMaster Univ.

2A.3 SequentialEngineeringChangeOrderUnderRetimingandResynthesisNian-ZeLee - National Taiwan Univ.VictorKravets - IBM Corp.Jie-HongRolandJiang - National Taiwan Univ.

2A.4 AcceleratingFunctionalTimingAnalysiswithEncodingDuplicationRemovaland RedundantStatePropagation

DennyC.-Y.Wu,Pin-RuJhao,CharlesH.-P.Wen - National Chiao Tung Univ.

MONDAY, NOVEMBER 13


18

Special Session 2C: 3D Integration Beyond TSVsTime: 2:00pm - 4:00pm | Location: Salons B2 & CModerator:

MarkYao - Boeing Corporation

Organizers:KrishnenduChakrabarty - Duke Univ.SheldonTan - UC RiversideMehdiTahoori - Karlsruhe Institute of Technology (KIT)

Thecontinueddown-scalingofnanoscaleintegratedcircuits(IC)presentssignificantchallengeswithrespecttomanufacturability,reliability,cost,andpowerconsumption.Recentworkhasthereforeadvancedtheconceptof“upscaling”throughthree-dimensional(3D)stackedICs.Industrytrendshighlighttheviabilityof3Dintegrationinactualproducts(e.g.,theAMDRadeonR9FuryXgraphicscard,XilinxVirtex-72000T/H580TandUltra-scaleFPGAs).Flashmemoryvendorshaveannouncedmultiplelayersofmemoryinasinglepackage,e.g.,asmanyas32and48layersofFlashmemory(ToshibaBiCS).Moore’slawisnowenteringanewphasecharacterizedbyverticalintegration(“3DPowerScaling”intheITRS2.02015report).

Session 2B - Physical Attacks: Implementation, Simulation, and SynthesisTime: 2:00pm - 4:00pm | Location: Salons A & B1Moderator:

SheldonTan - Univ. of California, Riverside

Physicalattacksoncomplexsystemsrequireingeniousattackimplementations.Resilienceagainstsuchattacksreliesonefficientsimulation,synthesis,andverificationtools.Thissessionstartswithanefficient,high-resolutionsimulationmethodtoautomateelectromagneticside-channelleakageincryptographichardware.Italsopresentstwopapersonnovelphysicalattacks:(1)faultinjectionattackonadeepneuralnetworktodisrupttheclassificationresultand(2)acachebanktimingattackonAEStoextractsecretkeys.Finally,thesessionintroducesanewtoolthatadoptsformalmethodstosynthesizecircuitryfortrackingtimingflows.

2B.1 EfficientSimulationofEMSide-ChannelAttackResilienceAmitKumar,CodyScarborough,AliYilmaz,MichaelOrshansky - Univ. of Texas at Austin

2B.2 FaultInjectionAttackonDeepNeuralNetworkYannanLiu,LingxiaoWei,BoLuo,QiangXu - Chinese Univ. of Hong Kong

2B.3 ANovelCacheBankTimingAttackZhenHangJiang,YunsiFei - Northeastern Univ.

2B.4 Clepsydra:ModelingTimingFlowsinHardwareDesignsArmaitiArdeshiricham,WeiHu,RyanKastner - Univ. of California, San Diego

MONDAY, NOVEMBER 13


19

Special Session 2C: 3D Integration Beyond TSVs (Cont.)Today’s3Dintegrationtechnologyisprimarilybasedondie/waferstackingsinceitdoesnotrequiremajorchangestotheexistingfabricationfloworretoolingoffabricationprocesses.However,theincreaseinfabricationcost(foundriesreportthatTSVprocessingadds10%tothewafercost),thekeep-out-zone(KOZ)requiredforTSVs,andlimitationsonthediealignmentprecisionimposelimitsonthedeviceintegrationdensitythatcanbeachievedusingTSV-based3Dstacking.Forexample,ithasbeenreportedthataminimumKOZof3μmisrequiredforICsfabricatedatthe20nmtechnologynodeandthediealignmentprecisionisimitedto0.5μm.Newertechnologiesfor3Dintegrationarethereforebeingexploredtoexploitup-scalingtothefullestpossibleextent.

Thisspecialsessionwillpresentavisionintothefutureof3Dintegration.Speakerswilladdressemergingdirectionsin3DintegrationtechniquesandchallengesbeyondtraditionalTSV-based3Dintegration.Specifictopicstobecoveredincludemonolithic3Dintegration,long-termreliabilityassessmentanddesignforreliabilityofinterconnectsinnext-generation3DICs,wireless3Dinterconnects,andon-chipsilicon-photonics3Dinterconnects.Eachpresentationwillprovidetechnologyoverview,describedesign,test,andreliabilitychallenges,andhighlightrecentadvances.

Attendeeswillgetholisticinsightsthroughlivelypresentationsthatwillencapsulatethelatestcutting-edgeresearchintheseemergingtopics.Thissessionwillinformandinspireacademicresearchersaswellasindustrypractitionerstowardsnewinnovationsinthesedirections.

2C.1 DesignAutomationandTestingofMonolithic3DICs:Opportunities,Challenges, andSolutions

KyungwookChang - Georgia Institute of TechnologyAbhishekAbhishekKoneru,KrishnenduChakrabarty - Duke Univ.Sung-KyuLim - Georgia Institute of Technology

2C.2 LeveragingRecoveryEffecttoReduceElectromigrationDegradationinPower/GroundTSVShengchengWang - Karlsruhe Institute of TechnologyZeyuSun - Univ. of California, RiversideYuanCheng - Shanghai Jiaotong Univ.SheldonTan - Univ. of California, RiversideMehdiTahoori - Karlsruhe Institute of Technology

2C.3 Energy-EfficientandRobust3DNoCswithContactlessVerticalLinksSrinivasanGopal,SouravDas,ParthaPratimPande,DeukHeo - Washington State Univ.

2C.4 Thermal-SensitiveDesignandPowerOptimizationfora3DTorus-BasedOpticalNoCKangYao,YaoyaoYe - Shanghai Jiao Tong Univ.SudeepPasricha - Colorado State Univ.JiangXu - Hong Kong Univ. of Science and Technology

MONDAY, NOVEMBER 13


20

Special Session 2D: AI for CPS: Machine Learning for Intelligent and Secure Cyber-Physical SystemsTime: 2:00pm - 4:00pm | Location: Newport & MarinaModerator:

DemingChen - Univ. of Illinois, Urbana-Champaign

Organizer:QiZhu - Univ. of California, Riverside

Withtheproliferationofsensordataandadvancementofprocessingpower,machinelearningtechniqueshaveshowngreatpromiseincyber-physicalsystems(CPS)applications.Thesetechniquesareparticularlyeffectiveforanalyzing,controllingandoptimizingcomplexCPSwherethesystemdynamicsandsurroundingenvironmentarehardtocapture;however,applyingtheminpracticalsystemsoftenfaceschallengesfromresourceandtimingconstraintsaswellasreliability,predictabilityandsecurityrequirements.Inthissession,thefourtalkswillintroducetheapplicationofmachinelearningtechniquesacrossavarietyofCPSdomains,includingaerospace,agriculture,petroleum,andbuildingsandgrid.Theywilldemonstratetheeffectivenessofusinglearningtechniques,inparticularthosebasedondeepneuralnetworks,toachieveartificialintelligenceinCPS.Theywilldiscusstheencounteredchallengesinmeetingsystemsecurity,reliabilityandresourcerequirements,andpresentpromisingsolutions.

2D.1 VoCaM:VisualizationOrientedConvolutionalNeuralNetworkAccelerationon MobileSystems

ZhuweiQin,ZiruiXu - George Mason Univ.YiranChen - Duke Univ.XiangChen - George Mason Univ.

2D.2 AnAutonomousPrecisionIrrigationThroughNeuralReinforcementLearningJiangHu - Texas A&M Univ.

2D.3 OffshoreOilSpillMonitoringandDetection:ImprovingRiskManagementforOffshore PetroleumCyber-PhysicalSystems

XiaodaoChen,DongmeiZhang,LizheWang,YueweiWang - China Univ. of GeosciencesAlbertZomaya - The Univ. of SydneyShiyanHu - Michigan Technological Univ.

2D.4 DeepReinforcementLearning:Framework,Applications,andEmbeddedImplementationsHongjiaLi - Syracuse Univ.TianshuWei - Univ. of California, RiversideRuizheCai - Syracuse Univ.QiZhu - Univ. of California, RiversideYanzhiWang - Syracuse Univ.

MONDAY, NOVEMBER 13


21

Session 3A - New Advances in Circuit SimulationTime: 4:30pm - 6:00pm | Location: Salon EModerator:

XinLi - Duke Univ.

Withincreasedcomplexityofcircuitsandsystems,efficientsimulationcontinuestobecriticalyetchallenging.Thefirstpaperdescribesanefficientmethodologyforsensitivityanalysisofanevent-drivenobjectivefunction.ThesecondpaperproposesanovelalgorithmcombiningexponentialintegratorsandKrylovsubspacealgorithmsfornonlinearcircuitsimulation.Thefinalpaperdevelopsafastapproachforelectromigrationanalysisofmulti-branchinterconnecttrees.

3A.1 DAGSENS:DirectedAcyclicGraphBasedDirectandAdjointTransientSensitivity AnalysisforEvent-DrivenObjectiveFunctions

KarthikAadithya,EricKeiter,TingMei - Sandia National Laboratories

3A.2 ExploringtheExponentialIntegratorswithKrylovSubspaceAlgorithmsforNonlinear CircuitSimulation

XinyuanWang - Univ. of California, San DiegoHaoZhuang - ANSYS, Inc.Chung-KuanCheng - Univ. of California, San Diego

3A.3 FastPhysics-basedElectromigrationAnalysisforMulti-BranchInterconnectTreesXiaoyiWang,YanYan,JianHe - Beijing Advanced Innovation Center for Future Internet Technology & Beijing Univ. of TechnologySheldonX.-D.Tan,ChaseCook - Univ. of California, RiversideShengqiYang - Beijing Advanced Innovation Center for Future Internet Technology & Beijing Univ. of Technology

MONDAY, NOVEMBER 13


22

Session 3B - Intelligent Control on WheelsTime: 4:30pm - 6:00pm | Location: Salons A & B1Moderator:

UmitOgras - Arizona State Univ.

Thissessionfocusesonintelligentcontroltechniquestoimproveautomotiveperformanceparameterssuchasdelay,pathtracking,andbatterycapacity.

ThefirsttwopapersintegrateModelPredictiveControlinautomotiveuse-casesanddemonstratemessagedelaypredictioninControllerAreaNetworkanddynamicmodelreconfigurationinfine-grainandcoarse-grainsafetyscenarios.Thethirdpaperpresentsanadaptiveandcooperativequality-awarecontrolforautomotivecyber-physicalsystems.

3B.1 OnlineMessageDelayPredictionforModelPredictiveControloverController AreaNetwork

AmithKaushalRao,HaiboZeng - Virginia Polytechnic Institute and State Univ.

3B.2 HybridStateMachineModelforFastModelPredictiveControl:Applicationto PathTracking

MaralAmir,TonyGivargis - Univ. of California, Irvine

3B.3 ACQUA:AdaptiveandCooperativeQuality-AwareControlforAutomotive Cyber-PhysicalSystems

KoroshVatanparvar,MohammadAbdullahAlFaruque - Univ. of California, Irvine

MONDAY, NOVEMBER 13


23

Session 3C - Next Generation System Level Design MethodsTime: 4:30pm - 6:00pm | Location: Salons B2 & CModerator:

ChristopherHarris - Auburn Univ.

Thissessionexplorestheapplicationofemergingtoolsandtechniquestochallengesinsystemlevelcomputerdesign.Wefeaturetheadoptionofmachinelearningtechniquestohardwaredesignspaceexploration,theuseofhardwareconstructionlanguages(HCLs)topromotedesignreuseforincreasinglyheterogeneousdigitaldesigns,andtheautomaticparallelizationofapplicationsforNoC-basedmulticorearchitectures.

3C.1 Cross-ProgramDesignSpaceExplorationbyEnsembleTransferLearningDandanLi, Shuzhen Yao - Beihang Univ.Senzhang Wang - Nanjing Univ. of Aeronautics and AstronauticsYing Wang - Chinese Academy of Sciences

3C.2 HardwareReusabilityisFIRRTLGround:HardwareConstructionLanguages,Compiler Frameworks,andTransformations

AdamIzraelevitz,JackKoenig,PatrickS.Li,RichardLin,AngieWang,AlbertMagyar,DonggyuKim,ColinSchmidt,ChickMarkley,JimLawson,JonathanBachrach - Univ. of California, Berkeley

3C.3 ALoadBalancingInspiredOptimizationFrameworkforExascaleMulticoreSystems: AComplexNetworksApproach

Yao Xiao,YuankunXue,ShahinNazarian,PaulBogdan - Univ. of Southern California

MONDAY, NOVEMBER 13


24

Moderator:Myung-ChulKim - IBM Corp.

Organizers:Myung-ChulKim - IBM Corp.Shih-HsuHuang - Chung Yuan Christian Univ.Rung-BinLin - Yuan Ze Univ.ShigetoshiNakatake - The Univ. of Kitakyushu

TheCADContestatICCADisachallenging,multi-monthR&Dcompetition,focusingonmodernandpracticalproblemsattheforefrontofElectronicDesignAutomation(EDA).Initssixthyear,the2017CADContestatICCADisamongthepremierworldwideacademicprogrammingcontests,attracting122teamsfrom10differentregions/countries.Thisyear,threecontestproblemsintheareasofECOlogicsynthesis,ECOroutingandplacementlegalizationfortheadvancednodesarecalledforcompetition.Thissessiongivesanoverviewofthe2017CADContest,presentsthethreecontestproblemsandbenchmarks,andannouncesthewinners.Italsoprovidesavenueforthetop-performingteamstoshowcasetheirkeyideasviashortvideopresentations.BasedonthemomentumaccumulatedbyEDAcontests,atalkonOpenDesignFlowDatabase2.0concludesthesessionbyreportingrecentprogresstowardsbuildinganacademicinfrastructureforVLSIdesignandEDAresearch.

3D.1 Overviewofthe2017CADContestatICCADMyung-ChulKim - IBM Corp.Shih-HsuHuang - Chung Yuan Christian Univ.Rung-BinLin - Yuan Ze Univ.ShigetoshiNakatake - Univ. of Kitakyushu

3D.2 ICCAD-2017CADContestinResource-AwarePatchGenerationChing-YiHuang,Chih-JenHsu,Chi-AnWu - Cadence Taiwan, Inc.Kei-YongKhoo - Cadence Design Systems, Inc.

3D.3 ICCAD-2017CADContestinNetOpenLocationFinderwithObstaclesKai-ShunHu,Ming-JenYang,Yu-HuiHuang,Bing-YiWong,CindyShen - Synopsys Taiwan Co., Ltd.

3D.4 ICCAD-2017CADContestinMulti-DeckStandardCellLegalizationandBenchmarksNimaKarimpourDarav - Microsemi CorporationIsmailBustany - Mentor, A Siemens BusinessAndrewKennings - Univ. of WaterlooRaviMamidi - Mentor, A Siemens Business

3D.5 DATCRDF:RobustDesignFlowDatabaseJinwookJung - Korea Advanced Inst. of Science and TechnologyPei-YuLee,Yan-ShiunWu - National Chiao Tung Univ.NimaKarimpourDarav - Microsemi CorporationIrisHui-RuJiang - National Taiwan Univ.VictorN.Kravets - IBM T.J. Watson Research CenterLalehBehjat - Univ. of CalgaryYih-LangLi - National Chiao Tung Univ.Gi-JoonNam - IBM T.J. Watson Research Center

Sponsored by:

Special Session 3D: 2017 CAD Contest at ICCADTime: 4:30pm - 6:00pm | Location: Newport & Marina

MONDAY, NOVEMBER 13


25

Networking ReceptionTime: 6:20pm - 6:50pm | Location: Salon E FoyerWhateveryourgoal,networkingreceptionsaretheperfectvenueforyoutoexpandyournetworkandkeepyouconnected!Joinustodaytocatchupwithyourcolleaguesanddiscusstheday’spresentationswiththeconferencepresenters.Allattendeesareinvited.

Additional Meeting - ACM Student Research Competition Technical PresentationsTime: 6:30pm - 8:00pm | Location: Salon E

TheACMStudentResearchCompetitionallowsbothgraduateandundergraduatestudentstodiscusstheirresearchwithstudentpeers,aswellasacademicandindustryresearchers,inaninformalsetting,whileenablingthemtoattendICCAD.

ThissessionisthefinalroundofACMSRCatICCAD2017.Eachstudentwillpresentfor10minutes,followedbya5-minutequestionandanswerperiod.Thissessionwillbeattendedbytheevaluatorsandanyinterestedconferenceattendees.Thetopthreewinnersineachcategorywillbechosenbasedonthesepresentations.

TheundergraduateandgraduatefinalistswillbeeligibletocompeteintheACMSRCGrandFinalstobeheldinJune2018.Moredetailscanbefoundat:sigda.org/src

Sponsored by:

Sponsored by:

Additional Meeting: EDA Megatrends: Enabling a Wide and Dynamic Range of ApplicationsTime: 6:00pm - 6:20pm | Location: Salons B2 & C

Speaker:

AlessandraNardi - Cadence Design Systems, Inc.

Everyindustryfollowstrends,whicharedefinedbythetechnologicalprogress,society,culture.EDAindustryisnoexceptionhere.However,EDAisasuppliertoamuchlargersemiconductorsindustryservingitselfabroadspectrumofapplications,fromconsumertoautomotive,fromtransistortosystem-level.ThechallengeforEDAistotranslatethemarketsneedsintotechnologytrendstobeaddressedorexploitedtosupportthesemiconductorindustryandtheircustomers.Thispresentationwillhaveabriefoverviewofsuchchallengesandopportunitiesandfocusonfewcasesasexample(e.g.,enablingthefast

expanding,highdemandautomotivemarket).

Sponsored by:

26

• TUESDAY SCHEDULE •

8:00 - 10:00amSession 4A: Synthesis, Layout, and Crosspoint – Oh My! Location: Salons A & B1

Session 4B: System Designs with Emerging Memory Technologies Location: Salons B2 & C

Session 4C: Towards Building Next Generation Embedded Software and Systems Location: Newport & Marina

Special Session 4D: Where Are the True Innovations and Potentials of IoT? Location: SSR


10:30am - 12:00pmSession 5A: Split Manufacturing Location: Salons A & B1

Session 5B: Exploring Intricate Gate Level Optimization Trade-offs Location: Salons B2 & C

Session 5C: X-learning for IoT Location: Newport & Marina

Session 5D: New Directions in Secure Validation and Attestation Location: SSR


12:30 - 1:30pmCEDA Invited Keynote: Socially Assistive Robotics: Creating Robots that Care and Shaping the Future of Work Location: Salon D

Sponsored by:

27

• TUESDAY SCHEDULE •

1:45 - 3:45pmSession 6A: Novel Frameworks and Optimizations in Hardware Synthesis Location: Salons A & B1

Session 6B: New Advances in Approximate Computing and Neural Network Implementations Location: Salons B2 & C

Session 6C: Power and Thermal Management for Cool Chips Location: Newport & Marina

Special Session 6D: FPGA CAD: Emerging Challenges and Solutions Location: SSR


4:15 - 6:15pmSession 7A: Taming Routability with Improved Placement Location: Salons A & B1

Session 7B: X Marks the Spot: Computing and Crossbars Location: Salons B2 & C

Special Session 7C: Cross-layer Dependability of Medical CPS Location: Newport & Marina

Special Session 7D: Automotive EDA: Constructing the Intersection of Silicon Valley and Motor City Location: SSR


6:45 - 8:30pmACM/SIGDA Member Meeting Location: Salon D


design automation

Sponsored by:

TUESDAY, NOVEMBER 14

28


Session 4A - Synthesis, Layout, and Crosspoint – Oh My!Time: 8:00am - 10:00am | Location: Salons A & B1Moderator:

XiaoqingXu - ARM, Inc.

Synthesisandlayoutsitatthecoreofelectronicdesignautomation(EDA).Thissessionconsiderssynthesistechniquesformemristor-basedlogicandopticalcircuits,aswellaslayoutdecompositionusingblockcopolymermaterials.Crosspointarchitecturesforemergingspin-orbittorquemagneticmemoriesarealsodiscussed.

4A.1 SIMPLEMAGIC:SynthesisandIn-MemoryMappingofLogicExecutionforMemristor AidedLogic

RotemBenHur,NimrodWald,NishilTalati,ShaharKvatinsky - Technion - Israel Institute of Technology

4A.2 DedicatedSynthesisforMZI-BasedOpticalCircuitsbasedonAND-InverterGraphsArighnaDeb - KIIT Univ.RobertWille - Johannes Kepler Univ. LinzRolfDrechsler - Univ. of Bremen & DFKI GmbH

4A.3 SimultaneousTemplateAssignmentandLayoutDecompositionUsingMultipleBCP MaterialsinDSA-MPLithography

Kuo-HaoWu,Shao-YunFang - National Taiwan Univ. of Science and Technology

4A.4 PRESCOTT:Preset-basedCross-PointArchitectureforSpin-Orbit-TorqueMagnetic RandomAccessMemory

LiangChang, Zhaohao Wang - Beihang Univ.AlvinOliverGlova - Univ. of California, Santa BarbaraJishenZhao - Univ. of California, Santa CruzYouguang Zhang - Beihang Univ.YuanXie - Univ. of California, Santa BarbaraWeishengZhao - Beihang Univ.


29


Session 4B - System Designs with Emerging Memory TechnologiesTime: 8:00am - 10:00am | Location: Salons B2 & CModerator:

Wujie Wen - Florida International Univ.

Thissessionwillexploreinnovativesystemdesignsandapplicationswithemergingmemorytechnologies.TechniquesareproposedtocreatebettermemorysystemswithPhaseChangeMemoryandResistiveMemory.Anapproximateimagestorageisbuiltwithmulti-levelcellSTT-MRAM.AsymmetriccryptographyisperformedefficientlywithmodularmultipliersbasedonRacetrackmemory.

4B.1 Cost-EffectiveWriteDisturbanceMitigationTechniquesforAdvancingPCMDensityMohammadKhavariTavana,DavidKaeli - Northeastern Univ.

4B.2* SpeedingUpCrossbarResistiveMemorybyExploitingIn-MemoryDataPatternsWenWen, Lei Zhao, Youtao Zhang, Jun Yang - Univ. of Pittsburgh

4B.3 ApproximateImageStoragewithMulti-LevelCellSTT-MRAMMainMemoryHengyuZhao - Univ. of California, Santa CruzLinuoXue - Univ. of California, Santa BarbaraPingChi - Intel Corp.JishenZhao - Univ. of California, Santa Cruz

4B.4 ANovelTwo-StageModularMultiplierBasedonRacetrackMemoryfor AsymmetricCryptography

TaoLuo - Nanyang Technological Univ. & Hong Kong Univ. of Science and TechnologyWei Zhang - Hong Kong Univ. of Science and TechnologyBingshengHe - National Univ. of SingaporeDouglasL.Maskell - Nanyang Technological Univ.


30


Session 4C - Towards Building Next Generation Embedded Software and SystemsTime: 8:00am - 10:00am | Location: Newport & MarinaModerator:

KapilDev - Nvidia Corp.

Thissessionexploresthechallengesinvolvedindevelopingnextgenerationembeddedsoftwareandsystems,whichincludemobileplatforms,learningalgorithmsandapplicationslikeAdvancedDriverAssistSystemsandAutonomousDriving.Thedevelopmentofthesesystemsdemandsnewframeworksandmethodsforarchitectureexploration,modeling,andvalidation.VirtualTestbench,DistributedLearningalgorithms,ReliableComputationandbenchmarkingautomotiveapplicationsarethehighlightsoftheapproachespresentedinthissession.

4C.1 VST:AVirtualStressTestingFrameworkforDiscoveringBugsinSSD Flash-TranslationLayers

Ren-ShuoLiu,Yun-ShengChang,Chih-WenHung - National Tsing Hua Univ.

4C.2 AdaLearner:AnAdaptiveDistributedMobileLearningSystemforNeuralNetworksJiachenMao - Duke Univ.ZhuweiQin,ZiruiXu - George Mason Univ.KentW.Nixon - Duke Univ.XiangChen - George Mason Univ.Hai(Helen)Li,YiranChen - Duke Univ.

4C.3 NEMESIS:ASoftwareApproachforComputinginPresenceofSoftErrorsMoslemDidehban,AviralShrivastava,SaiRamDheerajLokam - Arizona State Univ.

4C.4 AnOpenBenchmarkImplementationforMulti-CPUMulti-GPUPedestrianDetectionin AutomotiveSystems

MatinaMariaTrompouki - Univ. Politècnica de CatalunyaLeonidasKosmidis - Barcelona Supercomputing Center (BSC)NachoNavarro - Barcelona Supercomputing Center (BSC) and Universitat Politècnica de Catalunya


31


Special Session 4D - Where Are the True Innovations and Potentials of IoT?Time: 8:00am - 10:00am | Location: SSRModerator:

DemingChen - Univ. of Illinois at Urbana-Champaign

Organizer:DemingChen - Univ. of Illinois at Urbana-Champaign

TheriseoftheInternetofThings(IoT)hasledtoanexplosionofnewsensorcomputingplatforms,thatdramaticallyexpandthedomainsofapplications,designcomplexityanddiversity,andnewandstringentdesignrequirementsoverconventionalembeddedsystems.Inawidevarietyofapplicationdomains,IoTdevicemanufacturersmustdesignandreleasenewIoTdevicesregularlywithshorterproductcyclestomaintaincompetitiveadvantages,differentiateproducts,sustaingrowth,andprotectmarketshare.Meanwhile,inorderforIoTtorealizeitstruepotential,thewholeeco-systemneedstobebuiltwhereIoTedgedevices,communicationchannels,anddatacentersalldemandnewtechnologyfordeliveringlow-power/energy,lowlatency,high-throughputsolutionsintermsofsensing,communication,dataanalysis,anddecisionmaking.ThisspecialsessionwillpresentfourimportantthemesintermsofIoTdesignandresearchfrombothindustrialandacademicexpertstodemonstratethecurrentstate-of-the-artsolutionsandproposefuturecompellingresearchdirections.ThisspecialsessionisimportanttotheaudienceofICCADwhenIoT,bigdata,anddeeplearningbecomeimportanttopicsfortheconference.Thespecialsessionisverytimelytosharethecurrent-state-of-the-art,andmotivateandproposenewresearchsolutionstofacetheIoTrevolution.

4D.1 NovelHeterogeneousComputingPlatformsand5GCommunicationsforIoTApplicationsYuichiNakamura,HideyukiShimonishi,KozoSatoda,DaiKanetomo,YukiKobayashi,YasuhikoMatsunaga - NEC Corp.

4D.2 EdgeSegmentation:EmpoweringMobileTelemedicinewithCompressedCellular NeuralNetworks

XiaoweiXu,QingLu,TianchenWang,JinglanLiu - Univ. of Notre DameChengZhuo - Zhejiang Univ.X.SharonHu,YiyuShi - Univ. of Notre Dame

4D.3 CNN-basedPatternRecognitiononNonvolatileIoTPlatformforSmart UltravioletMonitoring

JinyangLi,QingweiGuo,FangSu,ZheYuan,JinshanYue - Tsinghua Univ.JingtongHu - Univ. of PittsburghHuazhongYang,YongpanLiu - Tsinghua Univ.

4D.4 MachineLearningonFPGAstoFacetheIoTRevolutionAnandRamachandran,DiHe - Inspirit IoT, Inc.XiaofanZhang,ChuanhaoZhuge,WeiZuo - Univ. of Illinois at Urbana-ChampaignKyleRupnow - Inspirit IoT, Inc.DemingChen - Univ. of Illinois at Urbana-Champaign


32


Session 5A - Split ManufacturingTime: 10:30am - 12:00pm | Location: Salons A & B1Moderator:

UjjwalGuin - Auburn Univ.

Splitmanufacturingdefendsagainstfab-basedmaliciousactivitiescausedbyuntrustedfoundries.Thefirstpresentationdescribeshowtoaddressmanufacturabilityalongsidesecurity.Thesecondworkconsidersscenarioswheretheback-end-of-lineisuntrusted.Thefinalpaperdescribeslayoutprotectiontechniquestoreducetheeffectofproximityattacks.

5A.1 MakingSplitFabricationSynergisticallySecureandManufacturableLangFeng - Texas A&M Univ.Yujie Wang - Nankai Univ.Wai-KeiMak - National Tsing Hua Univ.JeyavijayanRajendran - Univ. of Texas at DallasJiangHu - Texas A&M Univ.

5A.2 Front-End-of-LineAttacksinSplitManufacturingYujie Wang - Nankai Univ.TriCao - Univ. of Texas at DallasJiangHu - Texas A&M Univ.JeyavijayanRajendran - Univ. of Texas at Dallas

5A.3 RethinkingSplitManufacturing:AnInformation-TheoreticApproachwithSecure LayoutTechniques

AbhrajitSengupta,SatwikPatnaik - New York Univ.JohannKnechtel,MohammedAshraf - New York Univ., Abu DhabiSiddharthGarg - New York Univ.OzgurSinanoglu - New York Univ., Abu Dhabi


33


Session 5B - Exploring Intricate Gate Level Optimization Trade-OffsTime: 10:30am - 12:00pm | Location: Salons B2 & CModerator:

VictorKravets - IBM T.J. Watson Research Center

Advancesingateleveloptimizationsrequirecomplextrade-offsthatincludetoolefficiency,designaccuracy,andcircuittiming.ThefirstpaperpresentsafastLagrangianrelaxationbasedgatesizer.Thesecondpaperusesstatisticaltestingtogenerateapproximatecircuitsthatprovideerrorguaranteeswithhighconfidencelevel.Thefinalpaperdescribesatiming-drivenoptimizationthatmakesuseofapre-computedrestructuringchoices.

5B.1 RapidGateSizingwithFewerIterationsofLagrangianRelaxationAnkurSharma - Iowa State Univ.DavidChinnery,ShrirangDhamdhere - Mentor, A Siemens BusinessChrisChu - Iowa State Univ.

5B.2 StatisticallyCertifiedApproximateLogicSynthesisGaiLiu,ZhiruZhang - Cornell Univ.

5B.3 EnablingExactDelaySynthesisLucaAmaru - Synopsys, Inc.MathiasSoeken - École Polytechnique Fédérale de LausannePatrickVuillod,JiongLuo - Synopsys, Inc.AlanMishchenko - Univ. of California, BerkeleyPierre-EmmanuelGaillardon - Univ. of UtahJanetOlson - Synopsys, Inc.RobertBrayton - Univ. of California, BerkeleyGiovanniDeMicheli - École Polytechnique Fédérale de Lausanne


34


Session 5C - X-Learning for IoTTime: 10:30am - 12:00pm | Location: Newport & MarinaModerator:

ElahehBozorgzadeh - Univ. of California, Irvine

ThissessionfocusesontheuseofmachineintelligencetoimprovetheenergyefficiencyandperformanceofIoTandwearabledevices.

Thefirstpaper,“Learn-on-the-go”,usestransferlearningtoimprovetheclassificationaccuracythroughthecollaborationofmultiplewearableIoTdevices.Thesecondpaperproposesamethodforoptimalenergyallocationforenergy-harvestedwearabledevices.ThethirdpaperusesQ-learningtoachieveoptimalcheckpointingofintermittently-poweredIoTdevices.

5C.1 Learn-on-the-Go:AutonomousCross-SubjectContextLearningfor Internet-of-ThingsApplications

RaminFallahzadeh,ParastooAlinia,HassanGhasemzadeh - Washington State Univ.

5C.2 Near-OptimalEnergyAllocationforSelf-PoweredWearableSystemsGanapatiBhat,JaehyunPark,UmitOgras - Arizona State Univ.

5C.3 OptimalCheckpointingforSecureIntermittently-PoweredIoTDevicesZahraGhodsi,SiddharthGarg,RameshKarri - New York Univ.


35


Session 5D - New Directions in Secure Validation and Attestation Time: 10:30am - 12:00pm | Location: SSRModerator:

WeiHu - Northwestern Polytechnical Univ.

Thissessionhighlightsthreeemergingtopicsinsoftwareandembeddedsecurity.Itkicksoffwitharemoteattestationtechniquethatallowsatrustedpartytoverifytheintegrityofthesoftwarerunningonaremoteandpotentiallycompromiseddevice.ThisisfollowedbyasecurityvalidationapproachforSystems-on-Chipsusingstaticinformationflowanalysistodetectdataleakage,untrustedaccess,confidentialityandintegrity.Finally,anapproachtomemoryaccesscontrolusingself-verifiedaddressspacesispresented.

5D.1* ATRIUM:RuntimeAttestationResilientUnderMemoryAttacksShazaZeitouni,GhadaDessouky - Technische Univ. DarmstadtOrlandoArias - Univ. of Central FloridaDeanSullivan - Univ. of FloridaAhmadIbrahim - Technische Univ. DarmstadtYierJin - Univ. of FloridaAhmad-RezaSadeghi - Technische Univ. Darmstadt

5D.2 HardeningExtendedMemoryAccessControlSchemeswithSelf-Verified AddressSpaces

JesseElwell - Vencore Labs & Binghamton Univ.DmitryEvtyushkin - College of William & MaryNaelAbu-Ghazaleh - Univ. of California, RiversideDmitryPonomarev - SUNY BinghamtonRyanRiley - Carnegie Mellon Univ. in Qatar

5D.3 EarlySoCSecurityValidationbyVP-BasedStaticInformationFlowAnalysisMuhammadHassan - DFKI GmbHVladimirHerdt,HoangM.Le - Univ. of BremenDanielGrosse,RolfDrechsler - Univ. of Bremen & DFKI GmbH

LunchTime: 12:00pm - 12:30pm | Location: Salon DJoinfellowattendeesforlunchinSalonD.


36


CEDA Invited Keynote: Socially Assistive Robotics: Creating Robots that Care and Shaping the Future of WorkTime: 12:30pm - 1:30pm | Location: Salon D

Speaker:MajaMatarić - Univ. of Southern California

Roboticsisboomingallaroundus.Afieldthatwasoriginallydrivenbythedesiretoautomatephysicalworkisnowraisingconcernsaboutthefutureofwork.Lessdiscussedbutnomoreimportantaretheimplicationsonhumanhealth,asthescienceonlongevityandresilienceindicatesthathavingthedrivetoworkiskeyforhealthandwellness.However,robots,machinesthatwereoriginallyinventedtoautomatework,arealsobecominghelpfulbynotdoinganyphysicalworkatall,butinsteadbymotivatingandcoachingustodoourownwork,basedonevidencefromneuroscienceandbehavioralsciencedemonstratingthathumanbehaviorismoststronglyinfluencedbyphysicallyembodiedsocialagents,includingrobots.Thefieldofsociallyassistiverobotics(SAR)focusesondevelopingintelligentsociallyinteractivemachinethatthatprovideassistancethroughsocialratherthanphysicalmeans.Therobot’sphysicalembodimentisattheheartofSAR’seffectiveness,asitleveragestheinherentlyhumantendencytoengagewithlifelike(butnotnecessarilyhuman-likeorotherwisebiomimetic)agents.Peoplereadilyascribeintention,personality,andemotiontorobots;SARleveragesthisengagementtodeveloprobotscapableofmonitoring,motivating,andsustaininguseractivitiesandimprovinghumanlearning,training,performanceandhealthoutcomes.Human-robotinteraction(HRI)forSARisagrowingmultifacetedresearchfieldattheintersectionofengineering,healthsciences,neuroscience,social,andcognitivesciences,withrapidlygrowingcommercialspinouts.Thistalkwilldescriberesearchintoembodiment,modelingandsteeringsocialdynamics,andlong-termadaptationandlearningforSAR,groundedinprojectsinvolvingmulti-modalactivitydata,modelingpersonalityandengagement,formalizingsocialuseofspaceandnon-verbalcommunication,andpersonalizingtheinteractionwiththeuseroveraperiodofmonths,amongothers.SARsystemshavebeenvalidatedwithavarietyofuserpopulations,includingstrokepatients,childrenwithautismspectrumdisorders,elderlywithAlzheimer’sandotherformsofdementia;thistalkwillcovertheshort,middle,andlong-termcommercialapplicationsofSAR,aswellasthefrontiersofSARresearch.

Biography:MajaMatarićisprofessorandChanSoon-ShiongchairinComputerScienceDepartment,NeuroscienceProgram,andtheDepartmentofPediatricsattheUniversityofSouthernCalifornia,foundingdirectoroftheUSCRoboticsandAutonomousSystemsCenter(RASC),co-directoroftheUSCRoboticsResearchLabandViceDeanforResearchintheUSCViterbiSchoolofEngineering.ShereceivedherPhDinComputerScienceandArtificialIntelligencefromMITin1994,MSinComputerSciencefromMITin1990,andBSinComputerSciencefromtheUniversityofKansasin1987.SheisaFellowoftheAmericanAssociationfortheAdvancementofScience(AAAS),FellowoftheIEEEandAAAI,andrecipientofthePresidentialAwardsforExcellenceinScience,Mathematics&EngineeringMentoring(PAESMEM),theAnitaBorgInstituteWomenofVisionAwardforInnovation,OkawaFoundationAward,NSFCareerAward,theMITTR35InnovationAward,andtheIEEERoboticsandAutomationSocietyEarlyCareerAward.SheservedastheelectedpresidentoftheUSCfacultyandtheAcademicSenate.AtUSCshehasbeenawardedtheViterbiSchoolofEngineeringServiceAwardandJuniorResearchAward,theProvost’sMentoringAwardandCenterforInterdisciplinaryResearchFellowship,theMellonMentoringAward,theAcademicSenateDistinguishedFacultyServiceAward,andaRemarkableWomanAward.Sheisfeaturedinthesciencedocumentarymovie“Me&IsaacNewton”,inThe

Sponsored by:


37Allspeakersaredenotedinbold|*denotesBestPaperCandidate

Session 6A - Novel Frameworks and Optimizations in Hardware SynthesisTime: 1:45pm - 3:45pm | Location: Salons A & B1Moderator:

TonyGivargis - Univ. of California, Irvine

Thissessionaddressesarangeofsynthesisproblemsthatspanclocklessparadigm,approximatecomputing,datapathoptimization,andaccuratemodelingofHLS-generatedaccelerators.Thefirstpaperproposesanewframeworkforimprovingqualityofasynchronouscircuitsleveragingasuiteofexistingtools.Thepaperontheapproximatecomputingpresentsanewmethodsynthesizingarithmeticcircuits.Thethirdpaperexploitsgraphisomorphismtoachievemoreefficientresourcesharingatbit-level.Thefinalpaperenablesafastdesign-spaceexplorationforC-basedHLSbyaccuratelymodelingthegeneratedaccelerators.

6A.1 DataPathOptimisationandDelayMatchingforAsynchronousBundled-Data BalsaCircuits

NormanKluge, - Hasso-Plattner-Institut & IHP Microelectronics RalfWollowski - Hasso-Plattner-Institut

6A.2 ApproximatingComplexArithmeticCircuitswithFormalErrorGuarantees:32-bit MultipliersAccomplished

MilanCeska,JiriMatyas,VojtechMrazek,LukasSekanina,ZdenekVasicek,TomasVojnar - Brno Univ. of Technology

6A.3 AdvancedDatapathSynthesisUsingGraphIsomorphismCunxiYu - Univ. of Massachusetts, AmherstMihirChoudhury,AndrewSullivan - IBM T.J. Watson Research CenterMaciejCiesielski - Univ. of Massachusetts, Amherst

6A.4* COMBA:AComprehensiveModel-BasedAnalysisFrameworkforHighLevelSynthesis ofRealApplications

JieruZhao,LiangFeng - Hong Kong Univ. of Science and TechnologySharadSinha - Nanyang Technological Univ.Wei Zhang - Hong Kong Univ. of Science and TechnologyYun(Eric)Liang - Peking Univ.BingshengHe - National Univ. of Singapore

NewYorker(“RobotsthatCare”byJeromeGroopman,2009),PopularScience(“TheNewFaceofAutismTherapy”,2010),theIEEESpectrum(“CaregiverRobots”,2010),andisoneoftheLATimesMagazine2010Visionaries.Prof.Matarićistheauthorofapopularintroductoryroboticstextbook,“TheRoboticsPrimer”(MITPress2007),anassociateeditorofthreemajorjournalsandhaspublishedextensively.Sheservesorhasrecentlyservedonanumberofadvisoryboards,includingtheNationalScienceFoundationComputingandInformationSciencesandEngineering(CISE)DivisionAdvisoryCommittee,andtheWillowGarageandEvolutionRoboticsScientificAdvisoryBoards.Prof.MatarićisactivelyinvolvedinK-12educationaloutreach,havingobtainedfederalandcorporategrantstodevelopfreeopen-sourcecurricularmaterialsforelementaryandmiddle-schoolroboticscoursesinordertoengagestudentinterestinscience,technology,engineering,andmath(STEM)topics.HerInteractionLab’sresearchintosociallyassistiveroboticsisaimedatendowingrobotswiththeabilitytohelppeoplethroughindividualnon-contactassistanceinconvalescence,rehabilitation,training,andeducation.Herresearchiscurrentlydevelopingrobot-assistedtherapiesforchildrenwithautismspectrumdisorders,strokeandtraumaticbraininjurysurvivors,andindividualswithAlzheimer’sDiseaseandotherformsofdementia.



Session 6B - New Advances in Approximate Computing and Neural Network ImplementationsTime: 1:45pm - 3:45pm | Location: Salons B2 & CModerator:

MuhammadShafique - Vienna Univ. of Technology

Thissessionhasfourpapersthatcontributenewadvancesinapproximatingandneuralnetworks.ThefirstpaperpresentsanewtechniquetoapproximatemathematicalfunctionsusingTaylorseriesandlook-uptables.Thesecondpaperproposesanovelmethodtogenerateapproximatedataprocessinggivenarbitrarydataflowgraphsasinputs.Thethirdpaperpresentsanewspikingneuralnetworkmodelandaback-propagationalgorithmwithmuchimprovedaccuracy.Thefourthpaperpresentsanewapproachbasedonblock-circulantmatricestoachievehighlycompressed,high-performance,andenergyefficientdeepneuralnetworkimplementations.

6B.1 ApproxLUT:ANovelApproximateLookupTable-BasedAcceleratorYeTian,TingWang,QianZhang,QiangXu - Chinese Univ. of Hong Kong

6B.2 EnergyEfficientRuntimeApproximateComputingonDataFlowGraphsMingzeGao,GangQu - Univ. of Maryland, College Park

6B.3 MT-Spike:AMultilayerTime-BasedSpikingNeuromorphicArchitecturewithTemporal ErrorBackpropagation

TaoLiu, Zihao Liu - Florida International Univ.FuhongLin - Univ. of Science & Technology BeijingYierJin - Univ. of Central FloridaGangQuan,WujieWen - Florida International Univ.

6B.4 Energy-Efficient,High-Performance,Highly-CompressedDeepNeuralNetworkDesign UsingBlock-CirculantMatrices

SiyuLiao - City Univ. of New YorkZhe Li - Syracuse Univ.XueLin - Northeastern Univ.QinruQiu,YanzhiWang - Syracuse Univ.BoYuan - City Univ. of New York



Session 6C - Power and Thermal Management for Cool ChipsTime: 1:45pm - 3:45pm | Location: Newport & MarinaModerator:

SiddharthGarg - New York Univ.

Efficientpowerandthermalmodelingiskeyfordesigninghighperformancechipswithoutbreakingthecoolinglimits.Thissessionlooksintopowerandthermalmanagementatvariouslevelofgranularity.Thefirstpaperdealswithmanagingworkloadsothatthesupplyvoltagevariationremainswithinthespecifiedlimit.ThesecondpaperexploitsuniquethermalcharacteristicsofSTTMRAMforenergyefficiency.ThermalmanagementofmobileSoCsisthefocusofthethirdpaperandthefinalpaperintroducesacomputationally-efficientthermalmodelingmethodology.

6C.1 PowerSchedulingwithActivePowerGridsZahiMoudallal,FaridN.Najm - Univ. of Toronto

6C.2 Thermosiphon:AThermalAwareNUCAArchitectureforWriteEnergyReductionofthe STT-MRAMbasedLLCs

BiWu,YuanqingCheng,PengchengDai,JianleiYang,YouguangZhang - Beihang Univ. & Fert Beijing InstituteDijun Liu - China Academy Of Telecommunications TechnologyYing Wang - Chinese Academy of Sciences & Institute of Computing TechnologyWeishengZhao - Beihang Univ & Fert Beijing Institute.

6C.3 ThermalModelingandDesignonSmartphoneswithHeatPipeCoolingTechniqueHong-WenChiou - National Chiao Tung Univ. & Industrial Technology Research Institute Yu-MinLee,Hsuan-HsuanHsiao - National Chiao Tung Univ.Liang-ChiaCheng - Industrial Technology Research Institute

6C.4 ComputationallyEfficientStandard-CellFEM-BasedThermalAnalysisYi-ChungChen - Univ. of Manchester & State Univ. of New York at New PaltzScottLadenheim,HarryKalargaris,MilanMihajlovic,VasilisPavlidis - Univ. of Manchester



Special Session 6D – FPGA CAD: Emerging Challenges and SolutionsTime: 1:45pm - 3:45pm | Location: SSRModerator:

SabyaDas - Xilinx Inc.

Organizers:EvangelineF.Y.Young - The Chinese Univ. of Hong KongBei Yu - The Chinese Univ. of Hong KongWei Zhang - Hong Kong Univ. of Science and Technology

FieldProgrammableGateArrays(FPGA)findswiderapplicationsnowadayswiththeadvancementintechnologyandgainsincreasinginterestsinheterogeneouscomputingandenergyefficiencyacceleration.FPGAshaveevolvedfromsimpleprogrammablelogicfabricstoreplacingcustomdesignsandprocessorsforsignalprocessingandotherwidespreadingapplications.NewgenerationsofFPGAtargetatimplementingthewholesystemonasingledevice,andvariousresourceslikeLUT,flip-flop,RAM,DSP,aswellasCPUsareplacedatdifferentlocationsofthedevice.Thetrendisbiggerandfasteringeneral.TheseadvancesinFPGAtechnologyhaveposedmanynewchallengestothesystemandsynthesisleveldesigntools.FPGAtoolsnowadaysneedtohandlevariousobjectiveslikepower,timing,routabilityandwirelength,ontopofotherchallengeslikeclocknetconstruction,resourceallocation,runtimereduction,etc.ThissessionhighlightsnewCADframeworksandtechniques,inbothfront-endtoback-endstages,fortoday’slargescaleheterogeneousFPGAs.

6D.1 DeepLearningChallengesandSolutionswithXilinxFPGAsElliottDelaye,ChaithanyaDudha,AshishSirasao,SabyaDas - Xilinx Inc.

6D.2 FPGAPlacementandRoutingShih-ChunChen,Yao-WenChang - National Taiwan Univ.

6D.3 UTPlaceF3.0:AParallelizationFrameworkforModernFPGAGlobalPlacementWuxiLi,MengLi,JiajunWang,DavidZ.Pan - Univ. of Texas at Austin

6D.4 Clock-AwareUltraScaleFPGAPlacementwithMachineLearningRoutabilityPredictionChak-WaPui,GengjieChen,YuzheMa,EvangelineF.Y.Young,BeiYu - Chinese Univ. of Hong Kong

6D.5 AHybridApproachtoCacheManagementinHeterogeneousCPU-FPGAPlatformsLiangFeng - Hong Kong Univ. of Science and TechnologySharadSinha - Nanyang Technological Univ.Wei Zhang - Hong Kong Univ. of Science and TechnologyYun Liang - Peking Univ.



Session 7A - Taming Routability with Improved PlacementTime: 4:15pm - 6:15pm | Location: Salons A & B1Moderator:

StephenYang - Xilinx Inc.

FromASICstoFPGAs,thissessionshowcasestheheterogeneousnatureofplacementtohandlethecriticalissueofroutingcongestion.Thefirsttwopapersperformmacro-blockplacementtoaddressroutingchallenges.Thethirdpaperpropagatespinsonfixedmacrosforbetterrouting,andthefinalpaperdescribesaclock-awareplacementalgorithmforlarge-scaleheterogeneousFPGAs.

7A.1 AnIntegrated-Spreading-BasedMacro-RefiningAlgorithmforLarge-ScaleMixed-Size CircuitDesigns

Szu-ToChen,Yao-WenChang - National Taiwan Univ.Tung-ChiehChen - Maxeda Technology, Inc.

7A.2 ANovelDamped-WaveFrameworkforMacroPlacementChin-HaoChang,Yao-WenChang - National Taiwan Univ.Tung-ChiehChen - Maxeda Technology, Inc.

7A.3 GRASPbasedMetaheuristicsforLayoutPatternClassificationMingyuWoo,SeungwonKim,SeokhyeongKang - Ulsan National Institute of Science and Technology (UNIST)

7A.4 Clock-AwarePlacementforLarge-ScaleHeterogeneousFPGAsYun-ChihKuo,Chau-ChinHuang,Shih-ChunChen,Chun-HanChiang,Yao-WenChang,Sy-YenKuo - National Taiwan Univ.


42


Session 7B - X Marks the Spot: Computing and CrossbarsTime: 4:15pm - 6:15pm | Location: Salons B2 & CModerator:

Yang(Cindy)Yi - Virginia Polytechnic Institute and State Univ.

Thissessionfocusesontherecentadvancesenabledbyresistiverandom-accessmemory(RRAM)technology--thatcouldhelptoovercomethe“memorywall”associatedwithvonNeumanncomputingarchitectures.Papersinthissessionwillconsidermemristivecrossbardevicesandtheirapplicationstorouting,neuromorphicsystems,weightstability,andperceptronclassifiers.

7B.1 RRAM-BasedReconfigurableIn-MemoryComputingArchitecturewithHybridRoutingYueZha, Jing Li - Univ. of Wisconsin–Madison

7B.2 TraNNsformer:NeuralNetworkTransformationforMemristiveCrossbarbased NeuromorphicSystemDesign

AayushAnkit,AbhronilSengupta,KaushikRoy - Purdue Univ.

7B.3 AClosed-LoopDesigntoEnhanceWeightStabilityofMemristorBasedNeural NetworkChips

Bonan Yan - Duke Univ.Jianhua(Joshua)Yang - Univ. of MassachusettsQingWu - Air Force Research LabYiranChen,Hai(Helen)Li - Duke Univ.

7B.4 Memristor-BasedPerceptronClassifier:IncreasingComplexityandCopingwith ImperfectHardware

FarnoodMerrikhBayat,MirkoPrezioso,BhaswarChakrabarti - Univ. of California, Santa BarbaraIrinaKataeva - DENSO Corp.DmitriStrukov - Univ. of California, Santa Barbara


43


Special Session 7C – Cross-layer Dependability of Medical CPSTime: 4:15pm - 6:15pm | Location: Newport & MarinaModerator:

Yu Jiang - Tsinghua Univ.

Organizers:Lui Sha - Univ. of Illinois at Urbana-ChampaignShangpingRen - Illinois Institute of Technology

MedicalCyber-PhysicalSystemsaresafety-criticalinterconnected,intelligentsystemsofmedicaldevicesandapplications,andhavewitnessedbreakthroughsininteractingwithpatientsinmedicalandhealthcare.Originally,medicalCPSdesignisacross-layereffortrequiringexpertisefromcompletelydifferentfields:fromhighlevelmodelsandtreatmentguidelines,implementedbysoftwarecodeandprotocols,runningonhardwareplatforms.Thesemultiplelayersofabstractionwithwell-definedinterfacesallowthesegroupstoworkindependently.However,astechnologyscaling,theseindependentlydesignedlayersposeaseriousdependabilityproblem.Forexample,highlevelmodelsassumesensorvaluesbeinginstantaneouslyavailabletothecontroller,orsoftwareoftenassumesanerror-freeoperationfromhardware.Asimplementationplatformsbecomemorecomplexanddistributed,theseassumptionsareincreasinglynottrue.Asaresult,aprovablydependablemedicaldevicecontrolleratthemodellevelmightnotperformasdesiredinaconcreteimplementation.Thisproblemisslowlyextendingtothecircuitandsemiconductorlevelbecauseofsemiconductoraging,softerrorsandmanufacturingvariabilitiesstemmingfromsemiconductorscaling.Asaresult,theunderlyinghardwareprocessorplatforminthefuturecannotassumedtobefaultfreeandthishastobeaccountedforatthehigherlayersofdesignabstraction.Therefore,wehaveagreatnecessitytoexploreandexploitthechallengesandsolutionsinthiscross-layerdependabilityofmedicalCPS.Thisspecialsessioncontainsfourpresentations,focusesonbringingtogethercurrentresearchideasandtechniquesfromresearchersandpractitioners,withthefinalgoalofsharingtheirspecificchallengesandsolutionsforcross-layerdependabilityofsafety-criticalmedicalCPS,startingfromhigh-levelmodels,tosoftwarecode,architectures,protocol,andfinallytocircuitsandsemiconductors

7C.1 AnAssessmentofVulnerabilityofHardwareNeuralNetworkstoDynamicVoltageand TemperatureVariations

XunJiao,MulongLuo,Jeng-HauLin,RajeshKGupta - Univ. of California, San Diego

7C.2 DependableIntegratedClinicalSystemArchitecturewithRuntimeVerificationYuJiang,MingzheWang,HanLiu - Tsinghua Univ.MohammadHosseini - Univ. of Illinois at Urbana-ChampaignJiaguang Sun - Tsinghua Univ.

7C.3 TowardSafeInteroperationsinNetworkConnectedMedicalCPSUsingOpen-Loop SafeProtocol

AndrewY.-ZOu - Univ. of Illinios at Urbana-ChampaignMaryamRahmaniheris - Univ. of Illinois at Urbana ChampaignYu Jiang - Tsinghua Univ.Po-LiangWu,LuiSha - Univ. of Illinois at Urbana-Champaign

7C.4 ModelandIntegrateMedicalResourceAvailabilityintoVerifiablyCorrectExecutable MedicalGuidelines

ChunhuiGuo,ZhichengFu,ZhenyuZhang,ShangpingRen - Illinois Institute of TechnologyLui Sha - Univ. of Illinois at Urbana-Champaign


44


Special Session 7D - Automotive EDA: Constructing the Intersection of Silicon Valley and Motor CityTime: 4:15pm - 6:15pm | Location: SSRModerator:

ShiyanHu - Michigan Technological Univ.

Organizer:HuafengYu - Boeing

Thedesignandimplementationofanautomotivevehiclehavebecomeincreasinglychallenging,withgrowingfunctionalcomplexityinscaleandfeatures,theadoptionofmoredistributedandnetworkedarchitecturalplatforms,andstringentdemandsonvariousdesignconstraintsposedbyperformance,faulttolerance,reliability,extensibilityandsecurity.TheaforementionedtrendongrowingcomplexitypresentstremendousdesignandvalidationchallengesandcallsforanimmediateattentiontothisemergingareafordevelopingradicallynewEDAmethodologiesandpractices,aswellasenormousopportunitiesthathavebeenrarelyexploredinthepast.Thisspecialsessionisproposedtoreportthestate-of-the-artadvancesinresearchanddevelopmentforautomotiveEDArecentlymadebybothacademiaandindustry.

Comparedtootherspecialsessionsintheautomotivedomain,ourproposedspecialsessioncarriestwouniquefeatures:

• Connectiontocircuit-levelEDA:Whilemostautomotiveresearchfocusesonsystem-levelissues,thisspecialsessionparticularlyemphasizestheimportantconnectionbetweenautomotiveEDAandcircuit-levelCAD.Asamodernvehicleiscomposedofmoreandmoreelectricdevices,thedevice-andcircuit-levelnon-idealitiesofintegratedcircuits(e.g.,circuitaging)playanincreasinglyimportantroleforautomotivesystemseventhoughtheseissueshavebeenrarelydiscussedinthepast.Forthisreason,allhierarchicallayersoftheCADcommunitymustbeinvolvedtoefficientlyaddresstoday’sgrantchallengesforautomotiveEDA.

• ConnectiontoEDAcompany:TheproposedspecialsessioninvitesEDAcompany(i.e.,Cadenceinthiscase)todiscussthecommercialR&DeffortsforautomotiveEDA.Insteadofaskingautomotivemanufacturersandsupplierstodescribetheirneeds,itisnowthetimeforEDAcompaniestoshowcasetheircommercialproductsandsolutionsthatcandirectlybenefittheautomotiveindustry.It,inturn,wouldattractalargenumberofresearchersandengineersfromboththeEDAandautomotivecommunities.

7D.1 FunctionalSafetyMethodologiesforAutomotiveApplicationsAlessandraNardi,AntonioArmato - Cadence Design Systems, Inc.

7D.2 ImpactofCircuitNon-IdealitiesonVision-BasedAutonomousDrivingSystemsHandiYu - Duke Kunshan Univ.ChanghaoYan,XuanZeng - Fudan Univ.XinLi - Duke Kunshan Univ. & Duke Univ.

7D.3 TimingandSecurityAnalysisFrameworkforVANET-BasedIntelligent TransportationSystems

Bowen Zheng - Univ. of California, RiversideMuhammedO.Sayin - Univ. of Illinois at Urbana-ChampaignChung-WeiLin,ShinichiShiraishi - Toyota InfoTechnology CenterQiZhu - Univ. of California, Riverside


45



ACM/SIGDA Member MeetingTime: 6:45pm - 8:30pm | Location: Salon D

TheannualACM/SIGDAMemberMeetingwillbeheldonTuesdayeveningfrom6:45-8:30pm.ThemeetingisopenforACMSIGDAmemberstoattend.MembersoftheElectronicDesignAutomationcommunitywhowouldliketolearnmoreaboutSIGDAorgetinvolvedwithSIGDAactivitiesarealsoinvited.Dinnerandbeverageswillbeserved.

ThemeetingwillbeginwithabriefoverviewofSIGDA,includingitsorganization,activities,volunteeringopportunities,andmemberbenefits.Wewillthenintroducethisyear’sSIGDAPioneeringAchievementawardrecipientwithaninformalpresentationonherlife-longachievements.Next,theOutstandingNewFacultyAwardwinnerwillpresentabrieftalkonhiswork.Finally,wewillendtheeveningwiththeannouncementofthewinnersofACMDesignAutomationStudentResearchCompetitiontakingplaceatthisyear’sICCAD.Wehopetosee youthere!

Sponsored by: special interest group on

design automation

46

- WEDNESDAY SCHEDULE -

8:45 - 9:45amKeynote: How EDA Could Save the World (of Computing) Location: Salons A & B1


10:15am - 12:15pmSession 8A: Advanced Routing Across Different Application Domains Location: Salons A & B1

Session 8B: Right Timing for Power! Location: Salons B2 & C

Session 8C: Biochips, Neuromorphic and Stochastic Computing Newport & Marina

Embedded Tutorial 8D: Predictive Process Design Kit (PDK) to Accelerate Academic Research in VLSI Design and CAD Location: SSR


1:45 - 3:45pmSession 9A: Errors are Evil: Design for Reliability! Location: Salons A & B1

Session 9B: Application Mapping and Estimation Methods for Heterogeneous Platforms Location: Salons B2 & C

Special Session 9C: HDSLs: Domain Specific Languages for Hardware and SoC Design Location: Newport & Marina

Embedded Tutorial 9D: Critical Infrastructure Safety and Security - Challenges and Research Opportunities Location: SSR

47

- WEDNESDAY SCHEDULE -


4:15 - 5:45pmSession 10A: Counteracting and Preventing Hardware Trojans Location: Salons A & B1

Session 10B: Next Generation System Level Technologies Location: Salons B2 & C

Session 10C: Frameworks and Methodologies for Heterogeneous Computing Location: Newport & Marina

Session 10D: Emerging Design Methodologies for Analog/RF/Mixed-Signal Circuits and Systems Location: SSR


48


Keynote: How EDA Could Save the World (of Computing)Time: 8:45am - 9:45am | Location: Salons A & B1

Speaker:ToddAustin - Univ. of Michigan

WiththeendofMoore’sLawarrivingsoon,thereismuchconcernforthefutureofcomputing.Rightly,muchoftheresearchcommunity’sfocushasturnedtowardheterogeneousparallelarchitectures,whoseapplication-specializeddesignsholdthepromisetoovercomethelostbenefitsofsilicondimensionalscaling.Inthistalk,Iwillmakethecasethatthefuturesuccessofcomputinghaslesstodowith“how”wedesignthesearchitecturesandmoreabout“howmuch”willitcosttobringthemtothemarket.MyclaimisthatunlesstheEDAcommunitycandeveloptechnologiesandmethodologiestolowerdesigncostsbyatleast100x,noaffordablesolutionswillemergetoclosetheMoore’sLawscalinggap.Togetpeoplethinkinginthisdirection,Iwillpresentfivenewresearchdirectionsthatcouldslashthecostoffuturehardwaredesigns,ideasthatrunthegamutfromreusableaccelerators,tofablesscustomsilicon,andopen-sourcehardware.

Biography:ToddAustinisaProfessorofElectricalEngineeringandComputerScienceattheUniversityofMichiganinAnnArbor.Hisresearchinterestsincludecomputerarchitecture,robustandsecuresystemdesign,hardwareandsoftwareverification,andperformanceanalysistoolsandtechniques.CurrentlyToddisdirectorofC-FAR,theCenterforFutureArchitecturesResearch,amulti-universitySRC/DARPAfundedcenterthatisseekingtechnologiestoscaletheperformanceandefficiencyoffuturecomputingsystems.Priortojoiningacademia,ToddwasaSeniorComputerArchitectinIntel’sMicrocomputerResearchLabs,aproduct-orientedresearchlaboratoryinHillsboro,Oregon.Toddisthefirsttotakecredit(butthelasttoacceptblame)forcreatingtheSimpleScalarToolSet,apopularcollectionofcomputerarchitectureperformanceanalysistools.Toddisco-author(withAndrewTanenbaum)oftheundergraduatecomputerarchitecturetextbook,“StructuredComputerArchitecture,6thEd.”Inadditiontohisworkinacademia,ToddisfounderandPresidentofSimpleScalarLLCandco-founderofInTempoDesignLLC.In2002,ToddwasaSloanResearchFellow,andin2007hereceivedtheACMMauriceWilkesAwardfor“innovativecontributionsinComputerArchitectureincludingtheSimpleScalarToolkitandtheDIVAand Razorarchitectures.”ToddreceivedhisPhDinComputerSciencefromtheUniversityofWisconsinin1996.

WEDNESDAY, NOVEMBER 15

49


Session 8A - Advanced Routing Across Different Application DomainsTime: 10:15am - 12:15pm | Location: Salons A & B1Moderator:

Bei Yu - Chinese Univ. of Hong Kong

Togetthebestoutoftechnologyscaling,andmeettheapplicationneeds,routingneedstobelookedatcarefully.Thepapersinthissessionlookatdifferentapproachesrangingfrompost-placementtoroutingstagestomeetcomplextradeoffsacrossdifferentapplicationrequirements.Westartthesessionbyaddressingtheproblemofleakagepowerinmodernpowergatedsystemsonchip.Then,weaddressthe3DintegrationproblemfromaunifiedRDLroutingapproach.Thelasttwopaperstacklethetime-consumingroutingprocessbymoreefficienttopologygenerationandparallelizationalgorithms.

8A.1 SwitchCellOptimizationofPower-GatedModernSystem-on-ChipsDongyounYi - Samsung Electronics Co., Ltd.TaewhanKim - Seoul National Univ.

8A.2 RedistributionLayerRoutingforWafer-LevelIntegratedFan-OutPackage-on-PackagesTing-ChouLin,Chia-ChihChi,Yao-WenChang - National Taiwan Univ.

8A.3* SALT:ProvablyGoodRoutingTopologybyaNovelSteinerShallow-LightTreeAlgorithmGengjieChen,PeishanTu,EvangelineF.Y.Young - Chinese Univ. of Hong Kong

8A.4 ACoordinatedSynchronousandAsynchronousParallelRoutingApproachforFPGAsMinghuaShen - Sun Yat-sen Univ.Guojie Luo - Peking Univ.

Session 8B - Right Timing for Power!Time: 10:15am - 12:15pm | Location: Salons B2 & CModerator:

ZhiyuZeng - Cadence Design Systems, Inc.

Thesessionisdedicatedtoadvancesinstatictimingandpoweranalysis,whicharethekeystepsofmoderndesigntimingclosureandsignoffflows.Thefirstpaperattemptstocombinetheaccuracybenefitsofpath-basedanalysiswiththegoodperformanceofgraphbasedanalysis.Thesecondpaperofthesessiondescribesanadvancedconstraint-basedmethodologyinpowergridverification.Thethirdpaperproposesageneralgraphsparsificationmethodology,applicabletosolvinglargepowergrids.Finallythelastpapersuggestanovelproblemformulationandapproachestoimprovedesignsthroughoptimizingstateretentionregisters.

8B.1 ScalableN-WorstAlgorithmsforDynamicTimingandActivityAnalysisHariCherupalli,JohnSartori - Univ. of Minnesota, Twin Cities

8B.2 PowerGridVerificationUnderTransientConstraintsMohammadFawaz,FaridN.Najm - Univ. of Toronto

8B.3 SAMG:SparsifiedGraphTheoreticAlgebraicMultigridforSolvingLargeSymmetric DiagonallyDominant(SDD)Matrices

ZhiqiangZhao,YongyuWang,ZhuoFeng - Michigan Technological Univ.

8B.4 StateRetentionforPowerGatedDesignwithNon-UniformMulti-BitRetentionLatchesGuo-GinFan,MarkPo-HungLin - National Chung Cheng Univ.


50


Session 8C - Biochips, Neuromorphic and Stochastic ComputingTime: 10:15am - 12:15pm | Location: Newport & MarinaModerator:

LucaAmaru - Synopsys, Inc.

Thissessiondiscussesnovelcomputingparadigmsandapplications.Thefirsttwopapersproposemethodologiesforthedesignofnovelbiochiparchitecturesandtechniquesforonlineerrorrecoveryforbiochips.ThethirdpaperdescribesanimplementationofanLSTMneuralnetworkontheIBMTrueNortharchitecture.Thefinalpaperpresentsanovelrandomnumbergeneratorforuseinstochasticcomputing.

8C.1* AdaptiveErrorRecoveryinMEDABiochipsBasedonDroplet-AliquotOperationsand PredictiveAnalysis

ZhanweiZhong,ZipengLi,KrishnenduChakrabarty - Duke Univ.

8C.2 Sortex:EfficientTiming-DrivenSynthesisofReconfigurableFlow-BasedBiochipsfor ScalableSingle-CellScreening

MohamedIbrahim,AdityaSridhar,KrishnenduChakrabarty - Duke Univ.UlfSchlichtmann - Technische Univ. München

8C.3 ASpike-BasedLongShort-TermMemoryonaNeurosynapticProcessorAmarShrestha,KhadeerAhmed - Syracuse Univ.DavidP.Widemann,AdamT.Moody,BrianC.VanEssen - Lawrence Livermore National LabYanzhi Wang, QinruQiu - Syracuse Univ.

8C.4 DesignofAccurateStochasticNumberGeneratorswithNoisyEmergingDevicesfor StochasticComputing

WeikangQian, MengYang - Shanghai Jiao Tong Univ.JohnHayes - Univ. of MichiganDeliangFan - Univ. of Central Florida


51


Embedded Tutorial 8D - Predictive Process Design Kit (PDK) to Accelerate Academic Research in VLSI Design and CADTime: 10:15am - 12:15pm | Location: SSROrganizer:

SaurabhSinha - ARM Inc.

Moderator:XiaoqingXu - ARM, Inc.

AcademicresearchinVLSIdesignandCAD,especiallyforadvancedtechnologynodeshasbeenseverelylimitedbythelackofqualityprocessdesignkit(PDK).MostadvancedtechnologycircuitandCADresearchemployeitherSPICE-onlypredictivetechnologymodelsorscale45nmOpenPDKlibrariestosub-10or7nmnodedimensions.Thesemethodsomitimportanteffectssuchaslayout-dependentmiddle-of-line(MOL)parasitics,BEOLparasitics,multiplepatterningeffects,etc.Asaresult,eventhoughacademicspursuerelevantCADandVLSIresearchtopics,theresultsandobservationsarenotalwaysreliable.ForCADresearch,utilizingscaledGDS/LEFlayoutfilesfrom45nmtechnologynodetosub-14nmdimensionscanleadtoerroneousconclusionsandtheresearchersmightnotbeeventargetingtherelevantproblems.Tobridgethisgap,theASAP7PDKtargetingthe7nmprocessnodewasdevelopedin2016asajointcollaborationbetweenARMandArizonaStateUniversity.ThissessionwillcoverthelatestdevelopmentfortheASAPPDK,includingASAP5targetingthe5nmtechnologynode,standardcelllibrarydevelopmentusingtheASAP7PDKandacasestudyexploring3D-ICresearchusingtheASAPlibrary.

TheprimarygoalofthissessionistoimprovetheawarenessoftheICCADaudienceregardingthepotentialofa‘realistic’processdesignkitforadvancedcircuitdesignandCADresearch.ThethreepaperswillcoverallaspectsofthePDK,beginningfromPDKdevelopment;technologyassumptionsandtool-flowstostandardcelllibrarydevelopmentanddesigncase-studies.

8D.1 ASAP7PredictiveDesignKitDevelopmentAndCellDesignTechnology Co-Optimization

VinayVashishtha,ManojVangala,LawrenceClark - Arizona State Univ.

8D.2 StandardCellLibraryDesignandOptimizationMethodologyforASAP7PDKXiaoqingXu,NishiShah,AndrewEvans,SaurabhSinha,BrianCline,GregYeric - ARM Inc.

8D.3 Full-ChipMonolithic3DICDesignandPowerPerformanceAnalysiswithASAP7LibraryKyungwookChang,BonWoongKu - Georgia Institute of TechnologySaurabhSinha - ARM Inc.SungKyuLim - Georgia Institute of Technology


52


LunchTime: 12:30pm - 1:30pm | Location: Salon DJoinfellowattendeesforlunchinSalonD.Therewillbeashortpresentationfrom1:00-1:15pmgivenbyDavidJ.Goldstein,IEEELeadDirector,onXplorerCodeOcean“Authors&Reproducibility”.

Session 9A - Errors are Evil: Design for Reliability!Time: 1:45pm - 3:45pm | Location: Salons A & B1Moderator:

SamahSaeed - Univ. of Washington

Multiplefactorscancausecircuitsandmemoriestofail---aging,stress,defectsandlayoutimperfectnessallplayarole.Thissessionaimstoalleviatethesereliabilityandyieldchallenges.Thefirstpaperpresentsaprocedureforevaluatingtheperformanceof3D-stackedwide-I/ODRAMsunderprocess-inducedstress.Thesecondpapercombinesmultipleideastoimplementadynamicpartitioningschemeindensememoriesthatcanbetteraddressclusteredstuck-atfaults.Thethirdpaperpresentsafastalgorithmforelectromigration-inducedIR-dropdegradationinanon-chippowergrid.Thelastpaperintroducesmulti-rowdetailedplacementthatmitigatesneighbordiffusioneffectforyieldimprovement.

9A.1 Stress-AwarePerformanceEvaluationof3D-StackedWideI/ODRAMsTengtaoLi,SachinSapatnekar - Univ. of Minnesota

9A.2 DynamicPartitioningtoMitigateStuck-atFaultsinEmergingMemoriesJiangweiZhang - National Univ. of Defense Technology & Univ. of PittsburghDonaldKlineJr. - Univ. of PittsburghLiangFang - National Univ. of Defense TechnologyRamiMelhem,AlexJones - Univ. of Pittsburgh

9A.3 FastPhysics-BasedElectromigrationAssessmentbyEfficientSolutionofLinearTime- Invariant(LTI)Systems

SandeepChatterjee - Univ. of TorontoValeriySukharev - Mentor, A Siemens BusinessFaridN.Najm - Univ. of Toronto

9A.4 OptimalMulti-RowDetailedPlacementforYieldandModel-HardwareCorrelation ImprovementsinSub-10nmVLSI

ChanghoHan - Samsung Electronics Co., Ltd.KwangsooHan,AndrewB.Kahng,HyeinLee,LutongWang,BangqiXu - Univ. of California, San Diego


53


Session 9B - Applicaiton Mapping and Estimation Methods for Heterogeneous PlatformsTime: 1:45pm - 3:45pm | Location: Salons B2 & CModerator:

KiaBazargan - Univ. of Minnesota

Twomajorchallengesforwideadoptionofheterogeneousplatformsareaccurateestimationofdesignmetricsandhighqualitymappingofapplications.ThefirstpaperdiscussesanovelSAT-basedmethodforapplicationmappingtoCGRAplatforms.Thesecondpaperimprovescrossplatformpowerandperformancepredictionbyneuralnetworks.AnotherpaperinthesessionaddressestheshortcomingsofperformanceestimationinHLSflows.Thelastpaperpresentsanewmethodologyfordealingwithbigdatainastreamingway.

9B.1 SAT-BasedCompilationtoanon-vonNeumannProcessorSamitChaudhuri - Wave ComputingAsmusHetzel - Amazon Development Center

9B.2 P4:Phase-BasedPower/PerformancePredictionofHeterogeneousSystemsvia NeuralNetwork

YeseongKim,PietroMercati - Univ. of California, San DiegoAnkitMore,EmilyShriver - Intel Corp.TajanaRosing - Univ. of California, San Diego

9B.3 HLScope+:FastandAccuratePerformanceEstimationforFPGAHLSYoung-kyuChoi - Univ. of California, Los AngelesPeng Zhang - Falcon Computing Solutions, Inc.Peng Li - Tsinghua Univ.JasonCong - Univ. of California, Los Angeles

9B.4 AStreamingClusteringApproachUsingaHeterogeneousSystemforBigDataAnalysisDajungLee,AlricAlthoff,DustinRichmond,RyanKastner - Univ. of California, San Diego


54


Special Session 9C - HDSLs: Domain Specific Languages for Hardware and SoC DesignTime: 1:45pm - 3:45pm | Location: Newport & MarinaModerator:

RainerDoemer - Univ. of California, Irvine

Organizers:WolfgangEcker - Infineon TechnologiesJürgenTeich - Friedrich-Alexander-Univ. Erlangen-Nürnberg

ModelDrivenArchitecture(MDA)isanObjectManagementGroup(OMG)visionfortheautomationofsoftwaredesignthatisalmost15yearsold.Recently,anewversion2.0waspublished,whichtakescareofthedemandforanevenhigherlevelofflexibility.CompanionsofMDAaresocalleddomainspecificlanguages(DSLs).TheselanguagesdifferfromgeneralpurposelanguagessuchasJava,C++andPythonastheyaremuchsmallerintermsofconstructsandconceptsandtailoredtospecificdomainsandtospecifictargethardwarearchitectures.

Inthelastyears,somedomainspecificlanguagesforhardwaredesign(HDSLs)havebeenpublished.AlltheseapproacheshaveproventheirbenefitinindustrygradedesignsinsynthesizingRTLcodeand/orfirmware.Inthissense,alsotheC,C++andSystemCsubsetsusedbyHLStoolsareakindofHDSLtargetingcontrol/data-patharchitectures.

TheremainingquestioniswhetherHDSLscancoveralldesigndomainsaboveRTLtoestablishanewlayerofabstractionandautomation?Isitpossibletoinventtheselanguages,provideautomationtools,andaretheyeconomicallyviable?IsthereaneedforconvergenceofHDSLs,sincetheexistingapproachesdifferinunderlyingconcepts,modelsandtargetarchitectures?Toaddressthesequestions,thissessionpresentsprominentHDSLapproaches,showstheirusecasesandtakesalookaheadonnewHDSLapplicationareaswhereHDSLscanbeutilizedtoimprovedesignproductivityanddesignquality.

9C.1 Cyclist:AcceleratingHardwareDevelopmentJonathanBachrach,AlbertMagyar,PalmerDabbelt,PatrickLi,RichardLin,KrsteAsanovic - Univ. of California, Berkeley

9C.2 PythonbasedFrameworkforHDSLsinanIndustrialDesignFlowWolfgangEcker,KeerthikumaraDevarajegowda- Infineon Technologies & Technische Univ. MünchenJohannesSchreiner - Infineon TechnologiesRainerFindenig - DICE

9C.3 Spatial-ADomainSpecificLanguageforProgrammingConfigurableAcceleratorsKunleOlukotun - Stanford Univ.

9C.4 GeneratingFPGA-BasedImageProcessingAcceleratorswithHIPAccOliverReiche,M.AkifÖzkan - Friedrich-Alexander-Univ. Erlangen-NürnbergRichardMembarth - DFKI GmbHJürgenTeich,FrankHannig - Friedrich-Alexander-Univ. Erlangen-Nürnberg


55


Embedded Tutorial 9D - Critical Infrastructure Safety and Security - Challenges and Research OpportunitiesTime: 1:45pm - 3:45pm | Location: SSRModerator:

MohammadAlFaruque - Univ. of California, Irvine

Organizers:MohammadAlFaruque - Univ. of California, IrvineSandipRay - NXP SemiconductorsMarilynWolf - Georgia Institute of Technology

Thenation’scriticalinfrastructurebackboneofanation’seconomy,security,andhealth.InUSA,providestheessentialservicesthatunderpinthesocietyandserveasthe16criticalinfrastructuresectorshavebeenidentifiedbytheDepartmentofHomelandSecurity(DHS).Weknowitasthepowerweuseinourhomes,thewaterwedrink,thetransportationthatmovesus,thestoresweshopin,andthecommunicationsystemswerelyontostayintouchwithfriendsandfamily.Mostofthesesectorsarecyber-physicalinnature.Therefore,duetothetightintegrationofvariouscyberandphysicaldomains,thesesectorshavebecomevulnerabletomanysecuritythreats.Today,governmentineverycountryhasconsideredthesecurityissuesofthesesectorsasthehighestpriority.Theobjectiveofthistutorialistoperformin-depthoverviewofcriticalinfrastructuresafetyandsecurity,thearchitecturesanddesignflowandevaluatethesafetyandsecurityrequirementsindesignframeworkusingthreatmodels.Furthermore,thetutorialwillinvestigateemergingsecuritysolutionstoprovideenhancedlevelofsecurityandtrust.

9D.1 CriticalInfrastructureSafetyandSecurity-IntroductionMohammadAlFaruque - Univ. of California, Irvine

9D.2 SafeandSecureCyber-PhysicalSystemsforSmartGridsMarilynWolf - Georgia Institute of Technology

9D.3 TransportationSecurityintheEraofAutonomousVehicles:ChallengesandPracticeSandipRay - NXP Semiconductors

9D.4 SecurityTrendsandAdvancesinManufacturingSystemsintheEraofIndustry4.0SujitRokkaChhetri,SinaFaezi,NafiulRashid,MohammadAbdullahAlFaruque - Univ. of California, Irvine


56


Session 10A - Counteracting and Preventing Hardware TrojansTime: 4:15pm - 5:45pm | Location: Salons A & B1Moderator:

TauhidurRahman - Univ. of Florida

Hardwaretrojansareaseriousthreatforcircuitdesigners.

Thefirstpaperinthissessionproposesanoveltechniqueforinjectinghardwaretrojansexploitingdon’tcares.ThesecondpaperpresentshowtoautomatetheprocessofdetectingTrojanshidinginunspecifiedfunctionalities,whilethethirdpaperdescribesefficienttechniquesfordetectinganaloganddigitalmaliciousmodifications.

10A.1 WhyYouShouldCareAboutDon’tCares:ExploitingInternalDon’tCareConditionsfor HardwareTrojans

WeiHu - Univ. of California, San DiegoLu Zhang - Northwestern Polytechnical Univ.ArmaitiArdeshiricham,JeremyBlackstone - Univ. of California, San DiegoBochuanHou,YuTai - Northwestern Polytechnical Univ.RyanKastner - Univ. of California, San Diego

10A.2 MiningMutationTestingSimulationTracesforSecurityandTestbenchDebuggingNicoleFern - Univ. of California, Santa Barbara & Hong Kong Univ. of Science and TechnologyTimCheng - Hong Kong Univ. of Science and Technology

10A.3 ACE:AdaptiveChannelEstimationforDetectingAnalog/RFTrojansinWLANTransceiversKirubaSankaranSubramani,AngelosAntonopoulos,AhmedAttiaAbotabl,AriaNosratinia,YiorgosMakris - Univ. of Texas at Dallas


57


Session 10B - Next Generation System Level TechnologiesTime: 4:15pm - 5:45pm | Location: Salons B2 & CModerator:

JishenZhao - Univ. of California, Santa Cruz

Thissessionbringstogethernewadvancesintechnologiesandarchitecturesthatenableanewgenerationofhighlyefficientsystem-leveloptimizationsthatwerepreviouslynotpossible.Thefirstpaperconductsacomparisonofperformanceandcostevaluationfortraditional2DmonolithicSoCs,2.5Dpassiveinterposeand2.5/3Dactiveinterposerandevaluatestheirtradeoffs.ThesessiongoesonwithapresentationbasedonahybridSTT-RAM/SRAMregisterfileexploitingtheadvantagesofbothtechnologiestoenableanefficientwarpschedulerthatsignificantlyimprovessystemperformanceandenergyefficiency.ThethirdpaperproposesanovelNoCarchitecturethatallowsasingle-cyclemulti-hopandtherebyallowsforanoveltradeoffbetweenlatencyandenergy-efficiency.

10B.1*Cost-EffectiveDesignofScalableHigh-PerformanceSystemsUsingActiveand PassiveInterposers

DylanStow,YuanXie - Univ. of California, Santa BarbaraTaniyaSiddiqua,GabrielH.Loh - Advanced Micro Devices, Inc.

10B.2 TowardsWarp-SchedulingFriendlySTT-MRAM/SRAMHybridGPGPURegister FileDesign

QuanDeng - National Univ. of Defense Technology & Univ. of PittsburghYoutao Zhang - Univ. of PittsburghMinxuanZhang - National Univ. of Defense TechnologyJun Yang - Univ. of Pittsburgh

10B.3 ACaseforLowFrequencySingleCycleMultiHopNOCsforEnergyEfficiencyand HighPerformance

MonodeepKar,TusharKrishna - Georgia Institute of Technology


58


Session 10C - Frameworks and Methodologies for Heterogeneous ComputingTime: 4:15pm - 5:45pm | Location: Newport & MarinaModerator:

Guojie Luo - Peking Univ.

Heterogeneouscomputingisdifficult.Thus,frameworksandmethodologiesrequireconstantinnovationtofacilitatetheuseheterogeneousplatforms.Thefirstpaperdiscussesageneraldistributedmobilecomputingsystemfordeploymentoflargescaledeepneuralnetworks.ThesecondpaperproposesageneraldistributedprogrammingenvironmentinspiredbyEDAapplications.ThefinalpaperintroducesamethodtoprotectIPofconvolutionalneuralnetworks.

10C.1 MeDNN:ADistributedMobileSystemwithEnhancedPartitionandDeploymentfor Large-ScaleDNNs

JiachenMao - Duke Univ.Zhongda Yang - Univ. of PittsburghWeiWen,ChunpengWu,LinghaoSong,KentW.Nixon - Duke Univ.XiangChen - George Mason Univ.Hai(Helen)Li,YiranChen - Duke Univ.

10C.2 DtCraft:ADistributedExecutionEngineforCompute-intensiveApplicationsTsung-WeiHuang,Chun-XunLin,MartinWong - Univ. of Illinois at Urbana-Champaign

10C.3 AEP:AnError-bearingNeuralNetworkAcceleratorforEnergyEfficiencyand ModelProtection

LeiZhao, Youtao Zhang, Jun Yang - Univ. of Pittsburgh


59


Moderator:ParijatMukherjee - Intel Corp.

Theadvancesofemerginganalog/RF/mixed-signalcircuitsandsystemscallforradicallynewdesignmethodologies.Thefirstpaperpresentsanewoptimizationalgorithmtoprogramre-configurableRFsystems.Thesecondpaperproposesareliability-awaredesignmethodologyforemergingFinFETtechnology.Thefinalpaperdevelopsanintelligentmachinelearningapproachforyieldlearning.

10D.1 EfficientProgrammingofReconfigurableRadioFrequency(RF)SystemsMohamedB.Alawieh,FaWang,JunTao,ShihuiYin,MinheeJun - Carnegie Mellon Univ.XinLi - Duke Univ & Duke Kunshan Univ.TamalMukherjee,RohitNegi - Carnegie Mellon Univ.

10D.2 TowardsReliability-AwareCircuitDesigninNanoscaleFinFETTechnology—New- GenerationAgingModelandCircuitReliabilitySimulator

ShaofengGuo,RunshengWang,ZhuoqingYu,PengHao,PengpengRen,YangyuanWang - Peking Univ.SiyuLiao,ChunyiHuang,TianleiGuo,AlvinChen,JushanXie - Cadence Design Systems, Inc.RuHuang - Peking Univ.

10D.3 OnlineandIncrementalMachineLearningApproachesforICYieldImprovementHonggeChen, Duane Boning - Massachusetts Institute of Technology

Session 10D - Emerging Design Methodologies for Analog/RF/Mixed-Signal Circuits and SystemsTime: 4:15pm - 5:45pm | Location: SSR


60

• THURSDAY SCHEDULE •

8:00am - 5:00pmHardware and Algorithms for Learning On-a-Chip (HALO) Location: Salons F & G1

International Workshop on Design Automation for Analog and Mixed-Signal Circuits Location: Salons G2 & H

10th IEEE/ACM Workshop on Variability, Modeling, and Characterization (VMC) Location: Salons A & B1

Design Automation for Quantum Computers Location: Salons B2 & C

EDA/CAD in the IoT eHealth Era: From Devices to Architectures, Applications, and Data Analytics Location: Newport & Marina

Workshop on Non-conventional Approaches to Hard Optimization (NAHO) Location: SSR

11:30am - 1:30pmLunch Location: Salon E Foyer

Save the Datefor ICCAD 2018!

November 5 – 9, 2018Hilton San Diego Resort & Spa

San Diego, CA

61

THURSDAY, NOVEMBER 16

Workshop 1 - Hardware and Algorithms for Learning On-a-Chip (HALO)Time: 8:00am - 5:00pm | Location: Salons F & G1Organizers:

Jae-sunSeo - Arizona State Univ.Yu(Kevin)Cao - Arizona State Univ.XinLi - Duke Univ.

Machinelearningalgorithms,suchasthoseforimagebasedsearch,facerecognition,multi-categoryclassification,andsceneanalysis,arebeingdevelopedthatwillfundamentallyalterthewayindividualsandorganizationslive,work,andinteractwitheachother.However,theircomputationalcomplexitystillchallengesthestate-of-the-artcomputingplatforms,especiallywhentheapplicationofinterestistightlyconstrainedbytherequirementsoflowpower,highthroughput,smalllatency,etc.

Inrecentyears,therehavebeenenormousadvancesinimplementingmachinelearningalgorithmswithapplication-specifichardware(e.g.,FPGA,ASIC,etc.).Thereisatimelyneedtomapthelatestlearningalgorithmstophysicalhardware,inordertoachieveordersofmagnitudeimprovementinperformance,energyefficiencyandcompactness.Recentprogressincomputationalneurosciencesandnanoelectronictechnology,suchasresistivememorydevices,willfurtherhelpshedlightonfuturehardware-softwareplatformsforlearningon-a-chip.

Theoverarchinggoalofthisworkshopistoexplorethepotentialofon-chipmachinelearning,torevealemergingalgorithmsanddesignneeds,andtopromotenovelapplicationsforlearning.Itaimstoestablishaforumtodiscussthecurrentpractices,aswellasfutureresearchneedsinthefieldsbelow.

Speakers:

KaushikRoy - Purdue Univ.KaramChatha - Qualcomm, Inc.PaulWhatmough - ARM, Inc.HaiLi- Duke Univ.GertCauwenberghs - Univ. of California, San DiegoYongpanLiu- Tsinghua Univ.BipinRajendran - New Jersey Institute of TechnologyFarinazKoushanfar- Univ. of California, San Diego MikeDavies - Intel

62


Workshop 2 - International Workshop on Design Automation for Analog and Mixed-Signal CircuitsTime: 8:00am - 5:00pm | Location: Salons G2 & HOrganizers:

ZhuoFeng - Michigan Technological Univ.XinLi - Duke Univ.

Growingdigitizationofintegratedcircuitshascontributedtomakingsystem-on-chipsevermorecomplex.Yet,asubstantialportionofachipconsistsofanalogandmixed-signal(AMS)circuitsthatprovidecriticalfunctionalitylikesignalconversion.Overthepastseveraldecades,aggressivescalingofICtechnologies,aswellasadvancingtheintegrationofheterogeneousphysicaldomainsonchip,substantiallycomplicatesthedesignofAMScomponents.Ontheonehand,theirmodelinganddesignbecomesextremelycomplex.Ontheotherhand,theirinterplaywiththerestofthesystem-on-chipchallengesdesign,verificationandtest.

ThenewtechnologytrendsbringenormouschallengesandopportunitiesforAMSdesignautomation.ThisisreflectedbyanincreaseinresearchactivityonAMSCADworldwide.ThepurposeofthisworkshopistobringtogetheracademicandindustrialresearchersfrombothdesignandCADcommunitiestoreportrecentadvancesandmotivatenewresearchtopicsanddirectionsinthisarea.

Speakers:SachinSapatnekar - Univ. of MinnesotaJieGu - Northwestern Univ.RafaCastro - Seville Institute of MicroelectronicsHaiLi - Duke Univ.MinsikCho - IBM ResearchZhiruZhang - Cornell Univ.FarinazKoushanfar - Univ. of California, San DiegoKaiyuanYang - Rice Univ.JeyavijayanRajendran - The Univ. of Texas at Dallas

63


Workshop 3 - 10th IEEE/ACM Workshop on Variability, Modeling, and Characterization (VMC)Time: 8:00am - 5:00pm | Location: Salons A & B1Organizers:

RasitTopaloglu - IBMTakashiSato - Kyoto Univ.IbrahimElfadel - Masdar Inst. of Sci. and Tech.

Thisworkshopprovidesaforumtodiscusscurrentpracticeaswellasnearfutureresearchneedsinthelong-termtrendofvariability/reliabilityandtheirimpactondesignperformanceandcost,aswellasdetailedtechnicalaspectsofvariability/reliabilitycharacterization,compactmodeling,statisticalsimulation,teststructuredesign,CAD,aswellasresilientdesign.Theworkshopalsoprovidesanopportunitytodiscussemergingmodelingandcharacterizationneedsinemergingdevices.Thefollowingarethekeyareasthatwillbecovered.Comparedtootherworkshops,westrivetoestablishthelinksamongtechnology,devicephysics,devicemodeling,EDAtools,andrelatedcircuitdesignissues.

• Fundamentaldevicephysicsanddeviceengineering

• CADtools:modeling,simulation,andtoolintegration

• Designinterface:designimpactandcharacterizationtechniques

Wepickthreefocustopicseachyearonjointtechnology-designefforts.Therestoftheworkshopwillbeformattedasopencall-for-posterformat.Shortoralpresentationswillbegivenbyalltheposterpresentersinadvanceofthepostersession.

Thisyear,weplantofocusonthefollowingtopics:

• IsingComputing

• In-MemoryComputing

• MEMS

Speakers:FadiKurdahi - Univ. of California, IrvineYoshioMita - Univ. of TokyoHaitongLi - Stanford Univ.HaiLi - Duke Univ.VijayNarayanan - Pennsylvania State Univ.TajanaSimunicRosing - Univ. of California, San DiegoRajivJoshi - IBM Corp.PeterMcMahon - Stanford Univ.HidetoshiOnodera - Kyoto Univ.

64


Workshop 4 - Design Automation for Quantum ComputersTime: 8:00am - 5:00pm | Location: Salons B2 & COrganizers:

MartinRoetteler - Microsoft ResearchMathiasSoeken - EPFL

Theworkshopaimstobringtogetherresearchersfromquantumcomputing,electronicdesignautomation,andcompilerconstruction.Openquestionsthatweanticipatethisgrouptotackleincludenewmethodsforcircuitsynthesisandoptimization,optimizationsandrewriting,techniquesforverifyingthecorrectnessofquantumprograms,andnewtechniquesforcompilingefficientcircuitsandprotocolsregardingfault-tolerantandarchitectureconstraints.Currently,onlyveryfewopportunitiesexisttobringtogetherexpertsfromthefieldsofquantumcomputinganddesignautomation;togivethemtheopportunitytoengageinexchangeofideas;andtoreportonprogressforboththeoreticalandimplementationaspects.Wealsoexpectavibrantopenproblemssessionaswellasexchangeofbenchmarks,i.e.,forthebestknowncircuitsforsomeclassesoftransformationsthatareimportantforthesynthesisoflargequantumalgorithms.Theinvitedspeakerscoverthewholedesignflowofquantumcomputing,startingfromthedesignofquantumalgorithmstotheactualphysicaldevices.Therangefurthercovers,quantumprogramminglanguages,reversiblelogicsynthesis,quantumcircuitoptimization,aspectsoffault-tolerantquantumcomputing,andverificationofquantumcircuits.Thetalksintroducethestate-of-the-artofeachfield,describepresentchallenges,andoutlineopportunitiesfordesignautomation.

Speakers:

MatthewAmy- Univ. of Waterloo, Institute for Quantum ComputingAndrewCross- IBM Corp.SimonDevitt- Macquarie Univ. & Turing, Inc.OliviaDiMatteo - Univ. of Waterloo, Institute for Quantum ComputingJungsangKim - Duke Univ.AlanMishchenko - Univ. of California, BerkeleyMatthewNeeley - Google, Inc.JenniferPaykin - Univ. of PennsylvaniaBenoîtValiron - Univ. Paris-SudMingshengYing - Univ. of Technology SydneyWillZeng - Rigetti Computing

65


Workshop 5 - EDA/CAD in the IoT eHealth Era: From Devices to Architectures, Applications, and Data AnalyticsTime: 8:00am - 5:00pm | Location: Newport & MarinaOrganizers:

FarshadFirouzi - MSG GroupKrishnenduChakrabarty - Duke Univ.SaniNassif - Radyalis MohammadAlFaruque- Univ. of California, Irvine

Theinteractionbetweentechnologyandhealthcarehasalonghistory.RecentyearshaveseenrapidgrowthintheInternetofThings(IoT)paradigm,theadventofminiaturewearablebiosensors,andresearchadvancesin“BigData”techniquesforeffectivemanipulationoflarge,multiscale,multimodal,distributedandheterogeneousdatasets.TheseadvanceshavegeneratednewandexcitingopportunitiesforpersonalizedprecisioneHealthandmHealthservices.IoTheraldsaparadigmshiftinthehealthcarehorizonbyprovidingmanyadvantages,includingavailabilityandaccessibility,abilitytopersonalizeandtailorcontent,andcost-effectivedelivery.AlthoughIoTeHealthhasvastlyexpandedthepossibilitiestofulfillanumberofexistinghealthcareneeds,manychallengesmuststillbeaddressedinordertodevelopconsistent,suitable,safe,flexibleandpower-efficientsystemsthataresuitableformedicalneeds.Toenablethistransformation,itisnecessaryfortechnologicaladvancementsinbothhardwareandsoftware,andforthesecommunitiestoworktogether.Breakthroughsinareasrangingfrombioelectronicstocommunicationdevices,softwareandnetworking,patternrecognition,data-analytics,BigData,andcloudcomputingareneededtoenablenext-generationsensing,control,andcomputing,andtorealizetheIoTvisionforsmarterhealthcare.ThisworkshopwilladdressalltheseimportantaspectsofnovelIoTeHealthtechnologies.Itwillencompasssmarthealthcare-wearablesensors,bodyareasensors,advancedpervasivehealthcaresystems,andBigDataanalytics.Thenworkshopwillidentifyingnewperspectives,andhighlightcompellingresearchissuesandchallengessuchasscalability,interoperability,device-network-humaninterfaces,andsecurity,withvariouscasestudies.Inaddition,throughthisworkshop,wewillshowhowknowledgefromCADareassuchaslarge-scaleanalysisandoptimizationtechniquescanbeappliedtotheimportantproblemsofeHealth

Speakers:KenShepard - Columbia Univ.MajidSarrafzadeh - Univ. of California, Los AngelesLouScheffer - Howard Hughes Medical InstituteNikilDutt - Univ. of California, IrvineNatashaBalac - Univ. of California, San Diego

Program Committee:Tsung-YiHo - National Tsing Hua Univ.BaharFarahani - Univ. of TehranKunalMankodiya - Univ. of Rhode Island

66


Workshop 6 - Workshop on Non-conventional Approaches to Hard Optimization (NAHO)Time: 8:00am - 5:00pm | Location: SSROrganizers:

X.SharonHu - Univ. of Notre DameZoltanToroczkai - Univ. of Notre Dame

Constrainedoptimizationproblemsareattheheartofmanydecision,scheduling,error-correctionandcybersecurityapplications.ConstrainedoptimizationisalsoamajorcomponentinmostfundamentalEDAproblems.ManyconstrainedoptimizationsareNP-hardinnature,whichmakessolvingthemextremelyresourcedemanding,eitherintermsofcomputationtimeorhardwarecomponentsorenergy.Giventheimportanceoftheseproblems,anyimprovementsinefficiencyinsolvingsuchproblemsareingreatneed.Asanexample,thereisaworld-widecompetitiontakingplaceeverytwoyears,devotedtofindingthebestsolversforoneoftherepresentativeNP-hardconstrainedoptimizationproblems,i.e.,BooleanSatisfiability(SAT).

Mostoftheeffortsonimprovingsolversforconstrainedoptimizationproblemsaimatdevelopingmoreeffectivesearchalgorithmswiththeunderstandingthatthesealgorithmswouldeventuallybeimplementedonmoderngeneral-purposedigitalcomputingplatformssuchasmulti-coreormany-coreprocessors.Severalresearchershaveinvestigatedimplementingsuchessentiallydigitalalgorithmsonapplicationspecificintegrationcircuits,henceachievingbetterperformance,butatahighercost.Theseapproacheshavebeenenjoyinggoodsuccess,astheyreadilybenefitfromthecontinuousimprovementsinCMOStechnologythathavebeengovernedbyMoore’sLaw.

However,withMoore’sLawcomingtoanend,exploringnovelcomputationalparadigms(e.g.,quantumcomputingandneuromorphiccomputing)ismoreimperativethanever.Recentlytherehasbeenincreasedinterestindesigninganalog,ormixed-signalsolversforsomespecificNP-hardoptimizationproblemsbasedoncontinuous–timedynamicalsystems.Furthermore,anumberofresearchersareinvestigatingapproachesthatexploitintrinsicpropertiesexhibitedbycertainbeyond-CMOSdevicestosolveNP-hardoptimizationproblems.

ThepurposeofNAHOworkshopistobringtogetherresearcherswhoworkonalltheseaspectsemployingvariousapproachesforsolvinghardconstraintsatisfactionandoptimizationproblems.Theworkshopwillprovideaplatformfortheseresearcherstoexchangeadvancesineachoftheirrespectiveareas,compareandcritiqueeachother’sapproaches,andforgenewcollaborativerelationships.NAHOisa1-dayeventincludingformalpresentationsfollowedbydiscussionpanelsandposterpresentationsbystudentsorjuniorresearchers.Allthespeakerswillbeinvited.

Speakers:SankarBasu - National Science Foundation OlivierBournez - Ecole Polytechnique, Paris-Saclay GertCauwenberghs - Univ. of California, San DiegoPeterMcMahon - Stanford Univ. ArijitRaychowdhury - Georgia Institute of Technology SanjitA.Seshia- Univ. of California, Berkeley ZoltanToroczkai - Univ. of Notre Dame

LunchTime: 11:30am - 1:30pm | Location: Salon E FoyerLunchwillbeservedfromtheSalonEFoyer.Youmaythenenjoyyourlunchintheworkshoproomthatyouareattending.

67

• EXECUTIVE COMMITTEE •

PAST CHAIRFrank Liu IBM Research Austin Research Lab 11501 Burnet Rd. MS 904-6G017 Austin, TX 78758 512-286-7267 [email protected]

GENERAL CHAIRSri Parameswaran Univ. of New South Wales School of Computer Science & Engineering Sydney, Australia 61296626725 [email protected]

PROGRAM CHAIRIris Bahar School of Engineering Brown University 182 Hope Street Providence, RI 02906 401-863-1430 (office) 401-603-6972 (mobile) [email protected]

VICE PROGRAM CHAIRDavid Z. Pan Dept. of Electrical & Computer Engineering The Univ. of Texas at Austin City Austin, TX 78712 512-471-1436 [email protected]

TUTORIAL & SPECIAL SESSION CHAIRYuan Xie University of California, Santa Barbara 5159 HFH Hall, UCSB Santa Barbara, CA 93106 805-893-5563 [email protected]

EUROPEAN REPRESENTATIVEUlf Schlichtmann Technical University of Munich Institute for EDA Arcisstr. 21, Muenchen, Germany 80333 +49 89 289 23665 [email protected]

ASIAN REPRESENTATIVEShih Chieh Chang National Tsing Hua University Dept. of Computer Science Hsin-Chu, Taiwan, R.O.C. [email protected]

WORKSHOP CHAIRRolf Drechsler University of Bremen/DFKI Bibliothekstr. 1, 28359, Bremen, Germany +49 421 218 63932 drechsle@ informatik.uni-bremen.de

ACM/SIGDA REPRESENTATIVEYiran Chen Dept. of Electrical and Computer Engineering, Duke University Box 90291Durham, NC 27708 919-660-5252 [email protected]

CEDA REPRESENTATIVEGi Joon Nam IBM T.J. Watson Research Center 1101 Kitchawan Rd Yorktown Heights, NY 10598 512-286-7713 [email protected]

CONFERENCE PLANNER & REGISTRATION MANAGERNannette Jordan MP Associates, Inc. 1721 Boxelder St., Ste. 107 Louisville, CO 80027 303-530-4562 [email protected]

68

• TECHNICAL PROGRAM COMMITTEE •

PROGRAM CHAIRIris Bahar School of Engineering, Brown Univ.

VICE PROGRAM CHAIRDavid Pan Dept. of Electrical & Computer Engineering The Univ. of Texas at Austin City

Hussam AmrouchKIT

Aydin AysuUT

Lars BauerKIT

Kia BazarganUniv. of Minnesota

Laleh BehjatUniv. of Calgary

Davide BertozziUniv. of Ferrara, Italy

Duane BoningMIT

Philip BriskUni of Calif, Riverside

Arquimedes CanedoSiemens

Aiqun Cao Synopsys, CA, USA

Francisco CazorlaBarcelona Supercomputing

Koushik ChakrabartyUtah State University

Chen mou ChengNational Taiwan

Kiyoung ChoiSeoul National

Masoud DaneshtalabKTH

Sabya DasXilinx

Anup Kumar DasIMEC

Rolf DrechslerU. of Bremen

Jennifer DworakSMU

Wolfgang EckerInfineon

Shao-Yun FangTaiwan Uni. Sci & Tech

Yunsi FeiNortheastern

Peter FeldmannD.E. Shaw

Zhuo FengMichigan Tech U

Farshad FirouziIMEC

Domenic ForteConnecticut

Pierre Emmanuel GaillardonUniv. of Utah

Swaroop GhoshU South Florida

Dip GoswamiTU/e

Gary GrewalUniv. of Guelph

Daniel GrosseTU Bremen

Jie GuNorthwestern U

Javaid HarisGoogle

Christopher Harris Brown University

Ian Harris Uni of Calif, Irvine

Masanori HashimotoU Osaka

Soha HassounTufts

Ahmed HemaniKTH

Joerg HenkelKIT

Christian HochbergerTU Darmstadt

Jiang HuTexas A&M U

Shiyan HuMichigan Tech U.

Shih-Hao HungNational Taiwan

William HungSynopsys

Paolo IenneEPFL

Dan JiaoPurdue

Yier JinCentral Florida

Timothy KamIntel

Ulya KarpuzcuU Minnesota

Ramesh KarriNew York U.

Ryan KastnerUCSD

Igor KellerCadence

Sunil KhatriTexas A&M U

Adreas KochUniv. of Darmstadt

Victor KravetsIBM Research

Eren Kursun IBM

Liangzhen LaiARM

Xiaolue LaiCadence

Peter LangendörferIHP

Jongeun LeeUNIST, Ulsan, Korea

Bing LiTUM

Jing LiU Wisconsin

Peng LiTexas A&M U

69

• TECHNICAL PROGRAM COMMITTEE •

Xin LiDuke

Eric Liang Peking University

Jai-Ming LinNCKU, Taiwan

Jan MadsenTechnical U. of Denmark

Yiorgos MakrisUT Dallas

Dmitri Maslov NSF

Gayatri MehtaUNT

Brett MeyerMcGill

Kartik MohanramUniv. of Pittsburgh

Nicola NicoliciMcMaster

Michael NiemierNotre Dam

Partha PandeWashington State Univ

Sangyoung Park TUM

Srinivas PatilQualcomm

Gerardo PelosiPoli Milano

Weikang QianShanghai Jiao Tong, Michigan

Gang QuU Maryland

Jeyavijayan RajendranUT Dallas

Shaloo RakhejaNYU

Sayak RayIntel Corporation

Arijit RaychowdhuryGatech

Sherief RedaBrown University

Francesco RegazzoniALaRI

Haoxing RenNvidia

Gabriel RutschInfineon

Ramesh SGM

Marco SantambrogioPoli Milano

Fareena SaqibFlorida Inst. Tech

Ioannis SavidisDrexel

Ulf SchlichtmannTUM

Shreyas SenPurdue

Dimitrios SerpanosQatar Comp Res In

Saurabh SinhaARM

Mathias SoekenEPFL

Philip Stanley MarbellMIT

Sebastian SteinhorstTUM CREATE sg

Valeriy SukharevMentor

Kim TaeminIntel

Massimo TorquatiUniv. of Pisa

Andres TorresMentor

Shobha VasudevanU. of Illinois

Miroslav VelevAries Design Automation

Srikanth VenkataramanIntel

Natarajan ViswanathanIBM

Chun Yao WangNational Tshing Hua

Yu WangTsinghua, Beijing

Wujie WenFlorida International U

Yuan XieUCUB

JinJun XiongIBM

Yang (Cindy) YiUniv. of Kansas

Sungjoo YooSeoul National

Takahide YoshikawaFujitsu Labs

Huafeng YuToyota/Boeing

Bei Yu CU of Hong Kong

Haibo ZengVirgiina Tech

Xuan ZengFudan U.

Zhiyu (Albert) ZengCadence

Wei ZhangUST HK

Youtao ZhangU Pitt

Zheng Zhang MIT

Zhiru ZhangCornell

Pingqiang Zhou ShanghaiTech University

70

• CONFERENCE SPONSORS •

About ACMACM,theAssociationforComputingMachinery,acm.org,istheworld’slargesteducationalandscientificcomputingsociety,uniting

computingeducators,researchersandprofessionalstoinspiredialogue,shareresourcesandaddressthefield’schallenges.ACMstrengthensthecomputingprofession’scollectivevoicethroughstrongleadership,promotionofthehigheststandards,andrecognitionoftechnicalexcellence.

ACMsupportstheprofessionalgrowthofitsmembersbyprovidingopportunitiesforlife-longlearning,careerdevelopment,andprofessionalnetworking.ACMprovidesthecomputingfield’spremierDigitalLibrary(DL),aninvaluableonlineresourceofovertwomillionfullysearchablepagesoftext,includinga50+yeararchive,fromACM’shighqualityjournalsandproceedings.TheDLalsoreachestheentireworldofcomputingthroughthefullyintegratedGuidetoComputingLiterature.ACM’s37SpecialInterestGroups(SIGs)focusondifferentcomputingdisciplines.MorethanhalfofallACMmembersjoinoneormoreoftheseSpecialInterestGroups.TheSIGspublishnewslettersandsponsorimportantconferencessuchasSIGGRAPH,SPLASHincludingOOPSLA,DAC,ICCADandCHI,givingmembersopportunitiestomeetexpertsintheirfieldsofinterestandnetworkwithotherknowledgeablemembers.

BecomeanACMmembertodayandjointhousandsofotherleadingprofessionals,researchersandacademicswhobenefitfromallACMhastooffer.JoinACMonlineatacm.org,orcontactACMdirectlybyphone:800-342-6626(USandCanada)or212-626-0500(Global),byfax:212-944-1318,orbye-mail:[email protected].

Join ACM/SIGDA: The Resource For EDA ProfessionalsACM/SIGDA,(SpecialInterestGrouponDesignAutomation)providesabroadarrayofresourcestoourmembers,tostudents,professors,industryprofessionals

and,totheEDAfieldingeneral.SIGDAsponsorsvariouseventstopromoteinteractionamongthecommunitytosharethelatesttechnicalandprofessionaladvances.Italsoservesasaforumtosupporteventsthatnurturenewideasandinfusevitalityintonewemergingtrendsinthefield.

SIGDAhasalonghistoryofsupportingconferencesandtheEDAprofessionincludingICCAD,DAC,DATE,andASP-DAC,plusaround15focusedsymposiaandworkshops.SIGDAsupportsvariouseventssuchas-theUniversityResearchDemonstrationthathelpstofosterinteractionsbetweenstudentsandindustry;DesignAutomationSummerSchoolthatexposesstudentstotrendingtopics;YoungFacultyWorkshops;Ph.D.Forumsinconjunctionwithmajorconferences,designcontestssuchasCADAthlon.SIGDAfundsvariousscholarshipsandrecognizesoutstandingresearchpublications.Awardsrecognizesignificantcontributionsatallstagesoftheprofessionalcareerfromstudent awardstothePioneerAwardforLifetimeachievement.SIGDAhaslaunchednewprogramssuchas SIGDALive,aseriesofmonthlywebinarsontopicsofgeneralinteresttotheSIGDAcommunityandamoreglobalE-Newsletterwithanewlyformededitorialboard.SIGDAalsosupportslocalchaptersthathelpwithprofessionalnetworking.SIGDAalsoadministratesStudentResearchCompetitiononbehalfofACM.

SIGDApioneeredelectronicpublishingofEDAliterature,beginningwiththeDALibraryin1989.SIGDAalsoprovidesstrongsupportfortheACMjournalTODAES(TransactionsonDesignAutomationofElectronicSystems).MajorbenefitsprovidedtoSIGDAmembersincludefreeaccesstoallSIGDAsponsoredpublicationsintheACMDigitalLibrary,andreducedregistrationratesforSIGDAsponsoredevents.

ForfurtherinformationonSIGDA’sprogramsandresources,seesigda.org.

PleasejoinusinbuildingamorevibrantcommunityandvolunteerforSIGDA.


design automation

71

• CONFERENCE SPONSORS •

IEEEIEEEistheworld’slargestprofessionalassociationdedicatedtoadvancing

technologicalinnovationandexcellenceforthebenefitofhumanity.IEEEanditsmembersinspireaglobalcommunitythroughIEEE’shighlycitedpublications,conferences,technologystandards,andprofessionalandeducationalactivities.

IEEE Council on Electronic Design Automation (CEDA)

TheIEEECouncilonElectronicDesignAutomation(CEDA)providesafocalpointforEDAactivitiesspreadacrosssixIEEEsocieties(AntennasandPropagation,CircuitsandSystems,Computer,ElectronDevices,MicrowaveTheoryandTechniques,andSolid-StateCircuits).TheCouncilsponsorsorco-sponsorsoveradozenkeyEDAconferencesincluding:theDesignAutomationConference(DAC),AsiaandSouthPacificDesignAutomationConference(ASP-DAC),InternationalConferenceonComputerAidedDesign(ICCAD),DesignAutomationandTestinEurope(DATE),andeventsatEmbeddedSystemsWeek(ESWeek).TheCouncilalsopublishesIEEETransactionsonComputerAidedDesignofIntegratedCircuits&Systems(TCAD),IEEEDesign&Test(D&T),andIEEEEmbeddedSystemsLetters(ESL).InordertopromotetherecognitionofleadingEDAprofessionals,theCouncilsponsorstheA.RichardNewton,PhilKaufman,ErnestS.KuhEarlyCareer,TCADDonaldO.PedersonBestPaper,andWilliamJ.McCallaICCADBestPaperAwards. TheCouncilwelcomesnewvolunteersandlocalchapters.

FormoreinformationonCEDA,visit:ieee-ceda.org.

CASTheIEEECircuitsandSystemsSociety’sfieldofinterestspansthetheory,analysis,design(computeraideddesign),andpracticalimplementationofcircuits,andtheapplicationofcircuittheoretictechniquestosystemsandtosignalprocessing.Thecoverageofthisfieldincludesthespectrumofactivitiesfrom,andincluding,basic

scientifictheorytoindustrialapplications.

TheIEEECircuitsandSystemsSociety(CASS)believesthattheGrandEngineeringChallengesofthe21stcenturycanonlybeaddressedinaninter-disciplinaryandcross-disciplinarymanner.TheSociety’suniqueandprofoundexpertiseinCircuits,Systems,Signals,Modeling,Analysis,andDesigncanhaveadecisiveimpactonimportantissuessuchasSustainableEnergy,Bio-Health,GreenInformationTechnology,Nano-Technology,andScalableInformationTechnologySystems.

OurmissionistofosterCASSmembersacrossdisciplinestoaddresshumanity’sgrandchallengesbyconceivingandpioneeringsolutionstofundamentalandappliedproblemsincircuitsandsystems.

72

• COOPERATING ENTITIES •

IEEE Electron Devices Society

TheIEEEElectronDevicesSociety(EDS)isinvolvedintheadvancementofelectronicsandelectricalengineeringthroughresearch,development,design,manufacture,materials,andapplicationsofelectrondevices.EDSisconcernedwithtechnical,educational,scientificpublicationandmeetingactivitieswhichprovidebenefitstomemberswhilecontributingtowardstheprogressofthisfield.eds.ieee.org.

Thank You to our Technical Program Dinner Corporate Sponsor • • •

73

• HOTEL MAP •

FUNCTION REGISTRATION

CORRIDOR

LOSANGELES

CORRIDOR

IRVINELorem ipsum

BERKELEY

ANAHEIM

SALON F

SALON G1

SALON G2

SALON H

SALON ESALON D

SALON C

SALON B2

SALON B1

SALON A

RANCHOLAS

PALMAS

SANTABARBARA

SANTACLARA

GRAND BALLROOM

NEWPORTBEACH

MARINADEL REY

HOT Hotel Layout

Lunch

Lunch

(Monday Only)

Session Rooms

Irvine Marriott

74

• NOTES •

• WELCOME TO THE 36TH ICCAD •

It is with great pleasure that I welcome you to the 36th International Conference on Computer Aided Design. ICCAD is being held for the first time in the city of Irvine, a place that I hold dear.

In this increasingly compute centric world, there is increased demand for electronic design automation with exciting changes and challenges being faced in the way we design, compute, and deploy systems. For over thirty-five years, ICCAD has been a premier forum that

has paved the way in creating systems which are fast, small, power efficient, low cost, correct, manufacturable, and reliable. Recent keynotes, papers, tutorials and workshops at ICCAD have addressed novel technologies, the exciting prospects offered by deep learning, newer memories, IoT, approximate computing, and security concerns amongst others. This year’s program promises to be equally exciting. Executive committee members, the technical program committee members, volunteers and the staff from MP Associates have worked tirelessly over the last year to prepare a stimulating program.

The program consists of 29 regular paper sessions, with 105 papers drawn from a submission of 399 papers. For over a month, 125 technical program committee members scrutinized the papers, and in a face-to-face meeting selected these papers for inclusion in the program. There are nine special sessions and two embedded tutorials that will be presented during the three days. A record six workshops will be held on the Thursday after the regular conference. Three keynotes will be presented by eminent researchers. The first, on Monday, will be given by Krysta Svore from Microsoft Research titled “Quantum Computing: Revolutionizing computation through quantum mechanics”. The Wednesday keynote will be by Todd Austin from The University of Michigan on “How EDA Could Save the World (of Computing)” and the CEDA Invited Keynote will be presented on Tuesday by Maja Matarić from the University of Southern California.

On Thursday, there are six stimulating workshops on a variety of trending topics. These are: Workshop on Hardware and Algorithms for Learning On-a-chip (HALO); International Workshop on Design Automation for Analog and Mixed-Signal Circuits; IEEE/ACM 10th Workshop on Variability Modeling and Characterization; Electronic Design Automation for Quantum Computers; EDA/CAD in the IoT eHealth Era: From Devices to Architectures, Applications, and Data Analytics; and, Workshop on Non-Conventional Approaches to Hard Optimization (NAHO). Note that these workshops have exciting programs in themselves with keynotes from leading exponents.

Once again ICCAD promises to be on the cutting edge of EDA research. We do hope you will be able to join us next year for ICCAD 2018 November 5 -9, Hilton San Diego Resort and Spa, San Diego, CA.

ICCAD 2017 GENERAL CHAIRSri Parameswaran

Univ. of New South Wales School of Computer Science & Engineering

2

Are You Ready to Create Tomorrow’s Technology...Today?Explore career opportunities at Cadence

Ignite Your PassionCadence® technology is at the forefront of innovation. Join us in making an impact on the next generation of electronics. Tackle real-world challenges effecting our customers, and work with industry experts to grow in your career. Apply today at www.cadence.com/cadence/careers.

Innovation Starts HereWe are an innovative, diverse, and global team. We put our customers first, value integrity and accountability, and are agile in meeting the demands of our fast-paced industry. We are One Cadence—One Team!

Academic Network The Cadence Academic Network is a worldwide community of students, leading educators, and researchers. Enjoy the benefits of collaboration with fellow experts—join us today at www.cadence.com/site/academicnetwork.

Meet Us at ICCAD Learn more about Cadence, our technology, our culture, and why it’s a great place to work. Join us on Monday, November 13, from 6:00pm – 6:20pm in Salons B2 & C.

http://www.cadence.com/cadence/careers

http://www.cadence.com/site/academicnetwork

C O N F E R E N C E P R O G R A M

NOVEMBER 13-16, 2017 • Irvine, CA • ICCAD.COMIn cooperation with:


design automation

NOVEMBER 13-16, 2017 • Irvine, CA • ICCAD.COM

http://ICCAD.COM

http://ICCAD.COM

conference program - iccad...conference program november 13-16, 2017 • irvine, ca • iccad.com in...

Documents