共 50 条
[33]
Formal Verification of High-Level Synthesis
[J].
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL,
2021, 5 (OOPSLA)
[34]
A Survey of Verification for High-level Synthesis
[J].
1600, Institute of Computing Technology (33)
:287-297
[37]
High-level Synthesizable Dataflow MapReduce Accelerator for FPGA-coupled Data Centers
[J].
PROCEEDINGS INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS - ARCHITECTURES, MODELING AND SIMULATION (SAMOS XV),
2015,
:26-33
[40]
Lessons and Experiences with High-Level Synthesis
[J].
IEEE DESIGN & TEST OF COMPUTERS,
2009, 26 (04)
:34-45