共 50 条
- [22] JIT Trace-based Verification for High-Level Synthesis 2015 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY (FPT), 2015, : 228 - 231
- [24] High-Level Synthesis of Key Based Obfuscated RTL Datapaths 2018 19TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2018, : 407 - 412
- [26] RPython']Python High-Level Synthesis PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2016, 2016, 10031
- [28] A Survey of Verification for High-level Synthesis 1600, Institute of Computing Technology (33): : 287 - 297
- [29] High-Level Synthesis of Benevolent Trojans 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1124 - 1129
- [30] Formal Verification of High-Level Synthesis PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):