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.

Spade: An Expression-Based HDL With Pipelines

MetaHDL:inference and parameter tracing oriented domain-specific language for hardware description

ScalaHDL: Express and test hardware designs in a Scala DSL

PEak: A Single Source of Truth for Hardware Design and Verification

HDPython: A High Level Python Based Object-Oriented HDL Framework

A study of high-level synthesis: Promises and challenges

Spatial: a language and compiler for application accelerators

Wavefront Threading Enables Effective High-Level Synthesis

LLHD: A Multi-level Intermediate Representation for Hardware Description Languages

HDLCopilot: Natural Language Exploration of Hardware Designs and Libraries

Opportunities and Challenges for Circuit Board Level Hardware Description Languages

SPADE: Synthesizing Data Quality Assertions for Large Language Model Pipelines

Tydi-lang: A Language for Typed Streaming Hardware

System Level Asynchronous Virtual Pipeline on Dynamically and Partially Reconfigurable Architecture

Python FPGA Programming with Data-Centric Multi-Level Design

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

High-Level Synthesis for Packet-Processing Pipelines

Scala Based FPGA Design Flow (abstract Only)

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

HIDA: A Hierarchical Dataflow Compiler for High-Level Synthesis

PyHGL: A Python-based Hardware Generation Language Framework