@misc{indiciae0cc72459fbab,
  title = {EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR},
  author = {Jiaying Zhu and Baoqi Zhang and Mengxia Tao and Kezhi Li and Hao Yan and Qiang Xu and Min Li},
  year = {2026},
  doi = {10.1145/3803437.3806400},
  url = {https://arxiv.org/abs/2604.16571},
  note = {Source identifier: 2604.16571}
}