Published in DATE, 2026
Conference paper on accelerating formal datapath verification with word-level sweeping.
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.
Published in AAAI (Oral), 2026
Conference paper on scalable reversible-circuit synthesis with graph-to-sequence learning.
Recommended citation: Mingkai Miao, Jianheng Tang, Guangyu Hu, and Hongce Zhang. (2026). "BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning." AAAI (Oral).
Published in DAC, 2026
Conference paper on data-driven lemma generation for hardware model checking.
Recommended citation: Mingkai Miao, Guangyu Hu, Wei Zhang, and Hongce Zhang. (2026). "LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking." DAC.