Formal Verification of Source-to-Source Transformations for HLS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Louis-Noël Pouchet' in GoogleThis author has not been identified. Look up 'Emily Tucker' in GoogleThis author has not been identified. Look up 'Niansong Zhang' in GoogleThis author has not been identified. Look up 'Hongzheng Chen' in GoogleThis author has not been identified. Look up 'Debjit Pal' in GoogleThis author has not been identified. Look up 'Gabriel Rodríguez 0001' in GoogleThis author has not been identified. Look up 'Zhiru Zhang' in Google

runs on WebDSL