Using range-equivalent circuits for facilitating bounded sequential equivalence checking. - Yung-Chih Chen; Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chia-Cheng Wu; Chia-Chun Lin; Chun-Yao Wang (VLSI-DAT, 2018)