6.3 Special Session: Modern Logic Reasoning Methods for Functional ECO

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 Jiang¹, Victor Kravets² and NIAN-ZE LEE¹ ¹National Taiwan University, TW; ²IBM, 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 Riener¹, Alan Mishchenko² and Mathias Soeken¹ ¹EPFL, CH; ²University 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 Kravets¹, Jie-Hong Roland Jiang² and Heinz Riener³ ¹IBM, US; ²National Taiwan University, TW; ³EPFL, 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