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.
|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
|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