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.

Optimal Partition with Block-Level Parallelization in C-to-RTL Synthesis for Streaming Applications

A C2RTL Framework Supporting Partition, Parallelization, and FIFO Sizing for Streaming Applications.

Utilizing Voltage-Frequency Islands in C-to-RTL Synthesis for Streaming Applications

Scalable-Grain Pipeline Parallelization Method For Multi-Core Systems

A Hierarchical C2RTL Framework for FIFO-connected Stream Applications

Extending High-Level Synthesis for Task-Parallel Programs

High-level synthesis: productivity, performance, and software constraints

Pipeline-Based Partition Exploration for Heterogeneous Multiprocessor Synthesis.

RapidStream IR: Infrastructure for FPGA High-Level Physical Synthesis

Throughput Optimization For Streaming Applications On Cpu-Fpga Heterogeneous Systems

Multilevel Granularity Parallelism Synthesis on FPGAs

Software Pipeline–Based Partitioning Method with Trade-Off Between Workload Balance and Communication Optimization

Exploring optimal solution to hardware/software partitioning for synchronous model

A Survey on Performance Optimization of High-Level Synthesis Tools

A study of high-level synthesis: Promises and challenges

Enabling FPGAs for the Masses

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

Accelerating RTL Simulation with GPUs

A Parallel Bandit-Based Approach for Autotuning FPGA Compilation

A Parallel FPGA Wiring Algorithm Based on Nets Partition

Joint Modulo Scheduling And Memory Partitioning With Multi-Bank Memory For High-Level Synthesis