Formal Verification of Source-to-Source Transformations for HLS.

Louis-Nol Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodrguez, Zhiru Zhang

Browse the full FPGA paper archive.