2019 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 4-7, 2019The Westin Westminster Westminster, CO

MP Associates, Inc.
WEDNESDAY November 06, 9:45am - 11:45am | Westminster III
EVENT TYPE: SPECIAL SESSION
SESSION 8D
Results, Perspectives and Trends on Open-Source EDA
Moderator:
Alexandre Levisse - École Polytechnique Fédérale de Lausanne
Organizer:
Pierre-Emmanuel Gaillardon - Univ. of Utah
While academic research has been long fueling innovations in Electronic Design Automation, the recently introduced DARPA Electronics Resurgence Initiative with a $1.5B funding did put open-source EDA in the spotlight. The aim of this special session is to present an overview of the current situation in the four main fields of EDA, namely logic synthesis, digital physical design, digital verification and analog physical design.

8D.1Looking Into the Mirror of Open Source
 Speaker: Andrew B. Kahng - Univ. of California, San Diego
 Author: Andrew B. Kahng - Univ. of California, San Diego
8D.2LSOracle: a Logic Synthesis Framework Driven by Artificial Intelligence
 Speaker: Pierre-Emmanuel Gaillardon - Univ. of Utah
 Authors: Walter Lau Neto - Univ. of Utah
Max Austin - Univ. of Utah
Scott Temple - Univ. of Utah
Luca Amaru - Synopsys, Inc.
Xifan Tang - Univ. of Utah
Pierre-Emmanuel Gaillardon - Univ. of Utah
8D.3Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED
 Speaker: Florian Lonsing - Stanford Univ.
 Authors: Florian Lonsing - Stanford Univ.
Karthik Ganesan - Stanford Univ.
Makai Mann - Stanford Univ.
Srinivasa Shashank Nuthakki -
Eshan Singh - Stanford Univ.
Mario Srouji - Stanford Univ.
Yahan Yang - Stanford Univ.
Subhasish Mitra - Stanford Univ.
Clark Barrett - Stanford Univ.
8D.4MAGICAL: Toward Fully Automated Analog IC Layout Leveraging Human and Machine Intelligence
 Speaker: David Pan - Univ. of Texas at Austin
 Authors: Biying Xu - Univ. of Texas at Austin
Keren Zhu - Univ. of Texas at Austin
Mingjie Liu - Univ. of Texas at Austin
Yibo Lin - Univ. of Texas at Austin
Shaolan Li - Univ. of Texas at Austin
Xiyuan Tang - Univ. of Texas at Austin
Nan Sun - Univ. of Texas at Austin
David Pan - Univ. of Texas at Austin