FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
Published in DATE, 2026
Selected conference publication from CV.
Recommended citation: Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, and Hongce Zhang. (2026). "FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping." DATE.