Performance Pragma-Based Design Space Pruning and Exploration for High-Level Synthesis. - Donghao Guo; Zhe Lin 001; Jianwang Zhai; Kang Zhao (ISCAS, 2026)