共 50 条
- [32] A Survey of Verification for High-level Synthesis 1600, Institute of Computing Technology (33): : 287 - 297
- [33] Formal Verification of High-Level Synthesis PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
- [35] Technology driven high-level synthesis ADCOM 2007: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATIONS, 2007, : 485 - +
- [37] Integrating High-Level Synthesis into MPI 2010 18TH IEEE ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2010), 2010, : 175 - 178
- [38] Widely parameterizable High-Level Synthesis PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2018, 2018, 10808
- [40] Lessons and Experiences with High-Level Synthesis IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (04): : 34 - 45