@inproceedings{6b47600997cd451f9fe3429682435624,
title = "FEEP: Functional ECO Synthesis with Efficient Patch Minimization",
abstract = "Functional engineering change order (ECO) has been an essential process in modern complex integrated circuit design. Finding a high-quality circuit patch efficiently has long been a challenge. This paper proposes FEEP, an automatic and efficient synthesis-based functional ECO method. Structural pruning and stratified searching techniques are proposed to minimize search space without extra logical equivalence checks. Moreover, we propose a machine-learning-based two-stage patch size predictor that assists in predicting patch quality. Experimental results show that our algorithm can efficiently search and produce high-quality patches under various test cases.",
keywords = "Engineering change order (ECO), circuit patch, electronics design automation (EDA), equivalence checking (EC), machine learning (ML)",
author = "Yaotian Liu and Yuhang Zhang and Qing Zhang and Rui Chen and Yongfu Li",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 5th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2023 ; Conference date: 11-06-2023 Through 13-06-2023",
year = "2023",
doi = "10.1109/AICAS57966.2023.10168557",
language = "英语",
series = "AICAS 2023 - IEEE International Conference on Artificial Intelligence Circuits and Systems, Proceeding",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "AICAS 2023 - IEEE International Conference on Artificial Intelligence Circuits and Systems, Proceeding",
address = "美国",
}