Formal Verification of Source-to-Source Transformations for HLS

  1. Pouchet, L.-N.
  2. Tucker, E.
  3. Zhang, N.
  4. Chen, H.
  5. Pal, D.
  6. Rodríguez, G.
  7. Zhang, Z.
Proceedings:
FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays

ISBN: 9798400704185

Year of publication: 2024

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

Pages: 97-107

Type: Conference paper

DOI: 10.1145/3626202.3637563 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus