Results
FPGA 2024: Best Paper: Formal Verification of Source-to-Source Transformations for HLS — Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez and Zhiru Zhang.
Source: tcfpga.org
Materials
2 found
- ResultsFPGA 2024: official awardsSource: tcfpga.org
- PaperFull-text access not confirmedFormal Verification of Source-to-Source Transformations for HLS
Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez and Zhiru Zhang · en
Source: tcfpga.org
Materials checked:
ACM/SIGDA International Symposium on Field-Programmable Gate Arrays 2024 took place 2024-03-03–2024-03-05 in Monterey.
The linked awards identify the recognised work and its authors; paper performance claims remain claims of those authors.