Niansong and Hongzheng Win the Best Paper Award at FPGA'24!

In collaboration with Colorado State University, University of Illinois Chicago, CITIC, and Universidade da Coruña, our peper titied Formal Verification of Source-to-Source Transformations for HLS has been recognized as the best paper at the International Symposium of Field Programmale Gate Arrays (FPGA) 2024! This work introduces a novel approach to verify the correctness of fundamental and advanced source-to-source transformations for HLS, proposing a hybrid symbolic analysis approach that achieves scalability to practical problem sizes and is robust to a rich set of HLS transformations.

Here is the link to the awarded paper.