High-Level Synthesis Hardware Design for FPGA-Based Accelerators: Models, Methodologies, and Frameworks | IEEE Journals & Magazine | IEEE Xplore