Date: Wednesday 11 March 2020
Time: 11:00 - 12:30
Location / Room: Autrans
Chair:
Patrick Vuillod, Synopsys, US
Co-Chair:
Christoph Scholl, Albert-Ludwigs-University Freiburg, DE
Functional Engineering Change Order (ECO) is the problem of incrementally updating an existing logic network after a (possibly late) change in the design specification. The problem requires (i) to identify a small portion of the network's logic to be changed and (ii) to automatically synthesize a patch to replace this portion and rectify the network's functional behavior. ECOs can be solved using the logical framework of quantified Boolean formulæ (QBF), where a logic query asks for the existence of a set of nodes and values at those nodes to rectify the logic network's output functions. The global nature of the problem, however, challenges scalability. Any internal node in the logic network is a potential location for rectification and any node in the logic network may be used to simplify the synthesized patch. Furthermore, off-the-self QBF algorithms do not allow a formulation of resource costs for reusing existing logic.
| Time | Label | Presentation Title Authors |
|---|---|---|
| 11:00 | 6.3.1 | ENGINEERING CHANGE ORDER FOR COMBINATIONAL AND SEQUENTIAL DESIGN RECTIFICATION Speaker: Jie-Hong Roland Jiang, National Taiwan University, TW Authors: Jie-Hong Roland Jiang1, Victor Kravets2 and NIAN-ZE LEE1 1National Taiwan University, TW; 2IBM, US Download Paper (PDF; Only available from the DATE venue WiFi) |
| 11:20 | 6.3.2 | EXACT DAG-AWARE REWRITING Speaker: Heinz Riener, EPFL, CH Authors: Heinz Riener1, Alan Mishchenko2 and Mathias Soeken1 1EPFL, CH; 2University of California, Berkeley, US Download Paper (PDF; Only available from the DATE venue WiFi) |
| 11:40 | 6.3.3 | LEARNING TO AUTOMATE THE DESIGN UPDATES FROM OBSERVED ENGINEERING CHANGES IN THE CHIP DEVELOPMENT CYCLE Speaker: Victor Kravets, IBM, US Authors: Victor Kravets1, Jie-Hong Roland Jiang2 and Heinz Riener3 1IBM, US; 2National Taiwan University, TW; 3EPFL, CH Download Paper (PDF; Only available from the DATE venue WiFi) |
| 12:05 | 6.3.4 | SYNTHESIS AND OPTIMIZATION OF MULTIPLE PORTIONS OF CIRCUITS FOR ECO BASED ON SET-COVERING AND QBF FORMULATIONS Speaker: Masahiro Fujita, University of Tokyo, JP Authors: Masahiro Fujita, Yusuke Kimura, Xingming Le, Yukio Miyasaka and Amir Masoud Gharehbaghi, University of Tokyo, JP Download Paper (PDF; Only available from the DATE venue WiFi) |
| 12:30 | End of session | |