Abstract:Field-programmable gate arrays (FPGAs) provide opportunities for adopting cutting-edge microarchitectural technologies to accelerate emerging applications. However, it remains challenging to program FPGAs. On one hand, hardware description languages (HDLs), although lauded for their ability to provide circuit representations that closely mimic the inherent hardware structures, have been criticized for their inherent shortcomings, including low-level programming and poor productivity. On the other hand, high-level synthesis (HLS) attempts to raise the abstraction level of hardware design to the software domain. However, it often results in unpredictable solutions due to semantic difference between software and hardware. Furthermore, domain-specific languages (DSLs) tailored for FPGA programming have their own set of limitations, particularly in terms of expressiveness and flexibility. In this work, we introduce a novel hardware design framework named Cement \xspace, which encompasses the embedded HDL (eHDL) CmtHDL \xspace and the compiler CmtC \xspace, providing a better programming framework for FPGA. CmtHDL \xspace introduces event-based procedural specification alongside RTL description, empowering designers to describe hardware productively at a higher level of abstraction while maintaining cycle-deterministic behavior. CmtC \xspace provides a comprehensive compilation workflow that includes analyzing the timing behavior of the hardware and conducting synthesis to yield solutions with anticipated performance for FPGAs. Experiments show that Cement \xspace provides comparable productivity, but offers 1.41\texttimes-3.49\texttimes\xspace speedup, and saves 23%-82% resources compared to existing HLS or DSL tools. The practical significance of Cement \xspace is further validated through a case study of designing real-world FPGA-based accelerators.

Program implementation schemes for hardware-software systems

A New Computing Model for C-Like Hardware Description Languages

Hardware/software Co-synthesis for SoC Design

Modular Hardware Synthesis Using An HDL

Hardware/Software Co-Design with the HMS Framework

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems

A study of high-level synthesis: Promises and challenges

A novel component-based hardware-software co-simulation system based on OR1200

Application of hardware/software co-design language system C in the design of SoC

Hardware-software Co-Synthesis of Low Power Real-Time Distributed Embedded Systems with Dynamically Reconfigurable FPGAs

The Challenges of Hardware Synthesis from C-Like Languages

Hardware/Software Co-Design: Application Domains and Design Technologies

An Approach to the Specification and Verification of a Hardware Compilation Scheme

Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC

SystemC system level synthesis method for heterogeneous MPSoC

Multi-stage programming for customization of digital circuits

Enabling FPGAs for the Masses

Two FPGA Case Studies Comparing High Level Synthesis and Manual HDL for HEP applications

Cement: Streamlining FPGA Hardware Design with Cycle-Deterministic Ehdl and Synthesis

Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design

Correct and Compositional Hardware Generators