APA (7th ed.) Citation

Yang, Z., Hu, G., Zhou, X., Miao, M., Yu, C., Zhang, W., & Zhang, H. (2025). FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping.

Chicago Style (17th ed.) Citation

Yang, Ziyi, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, and Hongce Zhang. FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. 2025.

MLA (9th ed.) Citation

Yang, Ziyi, et al. FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. 2025.