Compatible Equivalence Checking of X-Valued Circuits

Wang, Yu-Neng, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, and Chung-Yang Ric Huang. "Compatible Equivalence Checking of X-Valued Circuits." In 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), pp. 1-9. IEEE, 2021. https://ieeexplore.ieee.org/abstract/document/9643515