Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez 0001, Zhiru Zhang. Formal Verification of Source-to-Source Transformations for HLS. In Zhiru Zhang, Andrew Putnam, editors, Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024. pages 97-107, ACM, 2024. [doi]
Abstract is missing.