Abstract:Domain-Specific Languages (DSLs) provide the optimum balance between generalization and specialization that is crucial to getting the best performance for a particular domain. DSLs like Halide and GraphIt and their rich scheduling languages allow users to generate an implementation best suited for the algorithm and input. DSLs also provide the right abstraction for generating code for diverse architectures like GPUs, CPUs, and hardware accelerators. DSL compilers are massive, typically spanning tens of thousands of lines of code and need a frontend, some analysis and transformation passes, and target-specific code generation. These implementations usually require a great deal of compiler knowledge and domain experts cannot prototype DSLs without getting compiler experts involved. Using multi-stage programming in a high-level language like Scala, OCaml, or C++, is a great solution because it provides easy-to-use frontend and automatic code generation abilities. The DSL writers typically implement their abstraction as a library in the multi-stage programming language and use it to generate specialized code by providing partial inputs. This solves the problem only partially because DSLs like GraphIt have shown that several domain-specific analyses and transformations need to be performed to get the best performance. Special care has to be taken when targeting massively parallel architectures like GPUs where factors like load balancing, warp divergence, coalesced memory accesses play a critical role. In this paper, we demonstrate how to build an end-to-end DSL compiler framework and a graph DSL using multi-stage programming in C++. We show how the staged types can be extended to perform domain-specific data flow and control flow analyses and transformations. We also show how our generated CUDA code matches the performance of the code generated from the state-of-the-art graph DSL, GraphIt. We achieve all this in a very small fraction (8.4%) of the code size required to implement the traditional DSL compiler.

CVC Verilog Compiler -- Fast Complex Language Compilers Can be Simple

A New Computing Model for C-Like Hardware Description Languages

Accelerating RTL Simulation with GPUs

vlang: Mapping Verilog Netlists to Modern Technologies

Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism

VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool

Flexible Generation of Fast and Accurate Software Performance Simulators From Compact Processor Descriptions

Rapid Cycle-Accurate Simulator for High-Level Synthesis

A Process Based Event Driven Method For Compiled Code Simulation

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

Robust Conservative Parallel HDL Simulation on Multi-Core CPUs

Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs

Massively Parallel Logic Simulation with GPUs.

Compiler-Driven Simulation of Reconfigurable Hardware Accelerators

CodeV: Empowering LLMs for Verilog Generation through Multi-Level Summarization

Evaluating Large Language Models for Automatic Register Transfer Logic Generation via High-Level Synthesis

AutoVCoder: A Systematic Framework for Automated Verilog Code Generation using LLMs

Distributed Time, Conservative Parallel Logic Simulation on GPUs

Generation of Compiler Backends from Formal Models of Hardware

A C-based RTL design verification methodology for complex microprocessor

GraphIt to CUDA Compiler in 2021 LOC: A Case for High-Performance DSL Implementation via Staging with BuilDSL