A General Equivalence Checking Framework for Multivalued Logic.

Chia-Chun Lin, Hsin-Ping Yen, Sheng-Hsiu Wei, Pei-Pei Chen, Yung-Chih Chen, Chun-Yao Wang

Browse the full ASPDAC paper archive.