EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR. - Jiaying Zhu; Baoqi Zhang; Mengxia Tao; Kezhi Li; Hao Yan; Qiang Xu 001; Min Li 019 (CoRR, 2026)