Formal Verification of Source-to-Source Transformations for HLS
- Pouchet, L.-N.
- Tucker, E.
- Zhang, N.
- Chen, H.
- Pal, D.
- Rodríguez, G.
- Zhang, Z.
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