TY  - RPRT
TI  - EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
AU  - Jiaying Zhu
AU  - Baoqi Zhang
AU  - Mengxia Tao
AU  - Kezhi Li
AU  - Hao Yan
AU  - Qiang Xu
AU  - Min Li
PY  - 2026
DO  - 10.1145/3803437.3806400
UR  - https://arxiv.org/abs/2604.16571
ID  - 2604.16571
ER  -