Chia-Chun Lin, Hsin-Ping Yen, Sheng-Hsiu Wei, Pei-pei Chen, Yung-Chih Chen, Chun-Yao Wang. A General Equivalence Checking Framework for Multivalued Logic. In ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021. pages 61-66, ACM, 2021. [doi]
Abstract is missing.