Publications

• CAV’25 The rIC3 Hardware Model Checker

  Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang

  37th International Conference on Computer Aided Verification(CAV), 2025.

• CAV’25 Deeply Optimizing the SAT Solver for the IC3 Algorithm

  Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang

  37th International Conference on Computer Aided Verification(CAV), 2025.

• DAC’25 Property-driven Parallel Symbolic Model Checking of LTL

  Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang

  62nd ACM/IEEE Design Automation Conference (DAC), 2025.

• DAC’24 Predicting Lemmas in Generalization of IC3

  Yuheng Su, Qiusong Yang, Yiwei Ci

  61st ACM/IEEE Design Automation Conference (DAC), 2024.