Shuoxiang Xu

According to our database, Shuoxiang Xu authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration.

Shuoxiang Xu, Zijian Jiang, Yuxin Zhang, David Boland, Yungang Bao, Kan Shi

Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2025

2023

ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration.

Kan Shi, Shuoxiang Xu, Yuhan Diao, David Boland, Yungang Bao

Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2023