TY  - RPRT
TI  - FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
AU  - Ziyi Yang
AU  - Guangyu Hu
AU  - Xiaofeng Zhou
AU  - Mingkai Miao
AU  - Changyuan Yu
AU  - Wei Zhang
AU  - Hongce Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2507.02008
ID  - 2507.02008
ER  -