共 50 条
- [41] ASAP: Automatic Sizing and Partitioning for Dynamic Memory Heaps in High-Level Synthesis 2019 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2019), 2019, : 275 - 278
- [42] Probabilistic Scheduling in High-Level Synthesis 2021 IEEE 29TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2021), 2021, : 195 - 203
- [45] RPython']Python High-Level Synthesis PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2016, 2016, 10031
- [47] A Survey of Verification for High-level Synthesis 1600, Institute of Computing Technology (33): : 287 - 297
- [48] Formal Verification of High-Level Synthesis PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):