https://scholars.lib.ntu.edu.tw/handle/123456789/632113
標題: | Compatible Equivalence Checking of X-Valued Circuits | 作者: | Wang Y.-N Luo Y.-R Chien P.-C Wang P.-L Wang H.-R Lin W.-H JIE-HONG JIANG CHUNG-YANG HUANG |
公開日期: | 2021 | 卷: | 2021-November | 來源出版物: | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 摘要: | The X-value arises in various contexts of system design. It often represents an unknown value or a don’t-care value depending on the application. Verification of X-valued circuits is a crucial task but relatively unaddressed. The challenge of equivalence checking for X-valued circuits, named compatible equivalence checking, is posed in the 2020 ICCAD CAD Contest. In this paper, we present our winning method based on X-value preserving dual-rail encoding and incremental identification of compatible equivalence relation. Experimental results demonstrate the effectiveness of the proposed techniques and the outperformance of our approach in solving more cases than the commercial tool and the other teams among the top 3 of the contest. ©2021 IEEE |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85124125745&doi=10.1109%2fICCAD51958.2021.9643515&partnerID=40&md5=1c6e91560124f35786ece5e83544f9c4 https://scholars.lib.ntu.edu.tw/handle/123456789/632113 |
ISSN: | 10923152 | DOI: | 10.1109/ICCAD51958.2021.9643515 | SDG/關鍵字: | Computer aided design; Commercial tools; Don't-cares; Dual rail encoding; Equivalence checking; Equivalence relations; Unknown values; X-values; Timing circuits |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。