SMT-Sweep: Word-Level Representation Unification for Hardware Verification. - Ziyi Yang; Guangyu Hu; Mingkai Miao; Changyuan Yu; Hongce Zhang (CoRR, 2025)