2017 Headlights Workshop on New Directions in Design Productivity

New Directions in Design Productivity
Wednesday, April 12, 2017 (All day)
Allen Extension Building: 101X Auditorium
Abstract / Description: 

System complexity continues to grow rapidly, with more complex silicon platforms, more software, more new models distributing data capture, storage and computation across thousands of heterogeneous nodes from sensors to cloud.  Even more significantly, new issues in security, robustness, safety and scalability are triggering a rethinking of much of the design process, design languages, the nature of verification and the monumental tasks in composing diverse components into stable solutions.

This workshop will focus on three themes, related to the scaling of computing to meet the opportunity: 

  • What new abstractions are needed to capture design intent in ways that lead to both more productive development and more efficient implementations?
  • How do we extend verification to deal with the larger scale and diversity of the systems, while addressing the demand for better security, safety and reliability?
  • As design teams construct, reuse, adapt and compose hardware and software elements, how will robust system assembly really work?

We open the workshop with a talk by Prof. Melissa Valentine of Stanford’s Department of  Management Science and Engineering, on a foundational topic for all discussions of productivity:  What is the future of teams and tasks?   How can technology affect  not just specific steps in design, but fundamentally change how design work is specified, organized, and motivated? 

The workshop agenda is still being finalized, but will include talks from both the leading research teams at Stanford and from technical leaders in industry.

Likely invited talks include an assessment of the computation impact of new programmable platforms, the evolution of design automation into new markets and roles, and initiatives from DARPA on transforming and accelerating design.

Likely Stanford talks include breakthrough formal methods for verification of neural networks, using domain-specific languages to build improved systems, and robust post-silicon validation

The workshop is expected to be highly interactive, with ample opportunities to explore the implications of key ideas and technology trends, and to help mold the SystemX  research perspective on important initiatives in computing and design.

The day will conclude with a lively panel discussion with key speakers and the workshop participants, followed by an evening reception and student poster session.

Please contact us for more information.

Technical Program
9:00 Welcome Rick Bahr/ Dr. Chris Rowen
9:15 Keynote: Flash Organizations: Crowdsourcing Complex Work via Reconfigurable Organizational Structures. Prof. Melissa Valentine (Stanford) NA
Session: Design Abstraction
Chair: TBD
10:15 The Stanford AHA Center: Making Hardware Design Fun Again Prof. Pat Hanrahan (Stanford) NA
10:45 Unleashing the full performance of the FPGA platform while abstracting the hardware details Dr. Ivo Bolsens (Xilinx) NA
11:15 QED and Symbolic QED: Dramatic Improvements in SoC Pre-silicon and Post-silicon Validation Prof. Subhasish Mitra (Stanford) NA
Session: Design Verification
Chair: Dr. Pat Hanrahan
1:00 Sharply Reducing Custom IC Design Costs: The DARPA CRAFT Program

Dr. Linton Salmon (DARPA)

1:30 Formal Verification of Neural Networks Prof. Clark Barrett (Stanford) NA
2:00 System Synthesis: Challenges in automating system level design, verification and implementation Serge Leef (Mentor) NA
Session: System Assembly
Chair: Rick Bahr
3:00 Improving Analog Layout Productivity Using Digital Place & Route Prof. Boris Murmann (Stanford) NA
3:30 Innovation in the IoT Product Development Process Moe Tanabian (Samsung) NA
4:00 Tools for driver generation and rapid HW/SW development Steven Bell (Stanford/Nvidia) NA


Where will we get the best leverage on productivity: domain-specific design platforms, improved verification and new processes
(Moderator: Boris Murmann; Panelists: Tanabian, Hanrahan, Bell)