共 50 条
- [21] Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations 2017 27TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), 2017,
- [22] Design and Verification Using High-Level Synthesis 2016 21ST ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2016, : 198 - 203
- [23] Verification of all circuits in a floating-point unit using word-level model checking FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 19 - 33
- [25] Design of Floating-Point Arithmetic Unit for FPGA with Simulink® PROCEEDINGS OF 18TH INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES (IEEE EUROCON 2019), 2019,
- [28] POWER2 floating-point unit: architecture and implementation Hicks, T.N., 1600, IBM, Armonk, NY, United States (38):
- [30] High-Level Languages and Floating-Point Arithmetic for FPGA-Based CFD Simulations IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (04): : 28 - 36