Publications in collaboration with researchers from Cornell University (1)

2024

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

    FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays