The rIC3 Hardware Model Checker. - Yuheng Su; Qiusong Yang; Yiwei Ci; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm. - Yuheng Su; Qiusong Yang; Yiwei Ci; Yingcheng Li; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores. - Zhichao Lv; Tianjun Bu; Qiusong Yang (ACM Great Lakes Symposium on VLSI, 2025)