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.
Actas:
FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays

ISBN: 9798400704185

Año de publicación: 2024

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

Páginas: 97-107

Tipo: Aportación congreso

DOI: 10.1145/3626202.3637563 GOOGLE SCHOLAR lock_openAcceso abierto editor

Objetivos de desarrollo sostenible