Tianjun Bu

According to our database, Tianjun Bu authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores.

Zhichao Lv, Tianjun Bu, Qiusong Yang

Proceedings of the Great Lakes Symposium on VLSI 2025, GLSVLSI 2025, New Orleans, LA, USA, 30 June 2025, 2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm.

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

The rIC3 Hardware Model Checker.

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025