CITIC - Centre for Information and Communications Technology Research
Research Center and Specialization Campus
University of Illinois at Chicago
Chicago, Estados UnidosPublications in collaboration with researchers from University of Illinois at Chicago (1)
2024
-
Formal Verification of Source-to-Source Transformations for HLS
FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays