DUHDe 2017

Date: Mar 31, 2017 12:00 am – Mar 31, 2017 11:00 am
Location: Lausanne, Switzerland

DUHDe – 4th Workshop on Design Automation for Understanding Hardware Designs

Friday Workshop W03 at DATE 2017

The design process is essentially a creative process which is reliant on the ability of designers to balance the interactions between a complex set of constraints to arrive at successful solutions. In order for designers to manage this task, they must collectively have a complete understanding of the behavior of the system, the mapping between behavior and structure, and the impact of each design feature on constraints such as power, performance, cost, and security. Design tasks require reasoning across multiple levels of abstraction in order to determine the impact of high-level design decisions, or to trace a design characteristic back to the feature which caused it. In a real design, cross-abstraction reasoning is difficult because the relationships between the different abstractions of a design are not captured. Designer time is expended discovering these cross-abstraction relationships in order to perform design, verification, and maintenance tasks. This workshop will present the state-of-the-art in Design Understanding, research in approaches to provide designers with the design information needed in a concise and straightforward way. 

The workshop is of interest to practitioners working in circuit design and to researchers interested in design automation.

The aim of the 4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) is to consolidate the community for these topics in electronic design automation. The workshop is not limited to the following topics in design understanding but includes:

  • Design descriptions from the FSL (Formal Specification Level) to ESL (Electronic System Level) down to RTL
  • Extraction of high-level properties
  • Feature localization
  • Understanding security-related behaviors
  • Synthesis and verification from natural language
  • Hardware design evolution: feature integration, feature interactions
  • Reverse engineering
  • Innovative GUIs for design
  • Analysis of interaction between hardware and software
  • Formal methods for design understanding

Invited Talks:

  • "Reactive Program Synthesis and Repair", Barbara Jobstmann, EPFL and Cadence Design Systems
  • "Antifragile Software", Martin Monperrus, University of Lille & INRIA
  • 8 peer-reviewed research talks

Organizers:

  • Ian G. Harris, University of California Irvine, USA - Email: harris@ics.uci.edu
  • Mathias Soeken, EPFL, Switzerland - Email: mathias.soeken@epfl.ch
  • CPS Technologies
  • Design Automation Tools
  • Foundations
  • Science of Security
  • Validation and Verification
  • Workshop
  • 2017
Submitted by Anonymous on