Archive


The Design Automation Conference has been the most important resource for information on the electronic design and design automation industries for many decades.

Search for Past Research Papers and Presentations

Search for Past Designer/IP Track Presentations
Video Results for 48th DAC (2011)


CONVENED THURSDAY, June 09, 2011, 9:00 AM - 10:30 AM
VIDEO: SESSION 37
TOPIC AREA: EMBEDDED SYSTEMS AND SOFTWARE
PANEL: ESL HW/SW Verification: A Reality Check
Chair:
Sharad Malik - Princeton Univ., Princeton, NJ

Organizers:
Daniel Gro├če - Univ. of Bremen, Germany
Frank Schirrmeister - Synopsys, Inc., Mountain View, CA

ESL-based abstraction has become the preferred way to address the rising complexity of embedded system design. Academia and industry have invested huge amounts in creating integrated HW/SW design flows. But, will HW/SW verification become the show stopper? To answer that question, this panel will present several case studies that showcase the state of the art in HW/SW verification of embedded systems. In addition, several key open questions will be answered by the panelists.


Speakers:
Matthias Bauer - Infineon Technologies AG, Munich, Germany
Viraphol Chaiyakul - Qualcomm, Inc., San Diego, CA
Alan Gatherer - Huawei Technologies Co., Ltd., Dallas, TX
Sandeep Shukla - Virginia Polytechnic Institute and State Univ., Blacksburg, VA
Daniel Kroening - Univ. of Oxford, , United Kingdom