Résumé: Thework of Ulf Schlichtmann and Bing Li was supported in part by Deutsche Forschungsgemeinschaft (DFG) through TUM International Graduate School of Science and Engineering (IGSSE). The work of Krishnendu Chakrabarty was supported in part by the National Science Foundation under grants CCF-1702596 and ECCS-1914796. The work of Tsung-Yi Ho was supported in part by the Foundation of Ministry of Science and Technology under grant 109-2221-E-007-073-MY3. The work of Krishnendu Chakrabarty and Tsung-Yi Ho was also supported in part by the Technical University of Munich- Institute for Advanced Study, funded by the German Excellence Initiative and the European Union Seventh Framework Programme under grant agreement no. 291763. The work ofWenzhong Guo was supported in part by the National Natural Science Foundation of China under grant U1705262 and the Natural Science Foundation of Fujian Province under Grant 2018J07005. The work of Xing Huang was supported in part by the Humboldt Research Fellowship from the Alexander von Humboldt Foundation and the TUM University Foundation Fellowship from Technical University of Munich. Authors' addresses: X. Huang, B. Li, and U. Schlichtmann, Chair of Electronic Design Automation, Technical University of Munich, Munich 80333, Germany; emails: {xing.huang, b.li, ulf.schlichtmann}@tum.de; T.-Y. Ho, Department of Computer Science, National Tsing Hua University, Hsinchu 30013, Taiwan; email: tyho@cs.nthu.edu.tw; W. Guo (corresponding author), College of Mathematics and Computer Science, Fuzhou University, Fuzhou 350116, China; email: guowenzhong@fzu.edu.cn; K. Chakrabarty, Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708 USA; email: krish@duke.edu. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from permissions@acm.org.

Langue: Anglais