共 126 条
[11]
Bilgili B, 2019, 2019 11TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO 2019), P1047, DOI [10.23919/ELECO47770.2019.8990595, 10.23919/eleco47770.2019.8990595]
[12]
Bluespec Inc, 2024, Bluespec Compiler
[13]
Cacheq, 2024, ABOUT US
[14]
Cadence, 2024, Stratus high-level synthesis
[16]
Canis A, 2011, FPGA 11: PROCEEDINGS OF THE 2011 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, P33
[17]
ChipsAlliance, 2024, Chisel, software-defined hardware
[18]
Formal Verification of Optimizing Transformations during High-level Synthesis
[J].
PROCEEDINGS OF THE 12TH INNOVATIONS ON SOFTWARE ENGINEERING CONFERENCE (ISEC),
2019,
[19]
Clash-lang.org, 2023, Clash