paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Just-In-Time Compilation for Verilog

面向 Verilog 的即时编译(JIT)
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10 · 该论文研究 Verilog 的即时编译与 FPGA 硬件编译加速,属于硬件/编译器工程方向,与用户核心关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析、贝叶斯程序分析均无直接关联;仅在“编译/PL”背景上有非常弱的交集。引用 28 inbox
Eric Schkufza, Michael Wei, Christopher J. Rossbach
crossref: 2026-09-12

AI 速览

一句话:提出首个 Verilog JIT 编译器 Cascade,先在软件模拟器中立即执行,后台编译后再迁移到硬件。

FPGA 可提供显著加速,但其编译过程极其缓慢,常需数小时甚至更久。论文将软件领域的 JIT 思想引入硬件设计:代码先在软件模拟器中立即执行,编译在后台进行,完成后迁移到硬件,用户感知为程序逐渐变快。作者实现 Cascade,首个面向 Verilog 的 JIT 编译器。它将启动编译到运行代码的等待时间降至一秒以内,并支持对硬件的通用 printf 调试;在调试环境中性能损失控制在 3 倍以内,对最终设计影响很小,且对会操作相连 IO 设备的程序同样成立。用户研究显示,Cascade 促使更频繁编译,并缩短产生可用硬件设计的时间。

问题
FPGA 编译极其缓慢,通常需要数小时甚至更久,严重拖慢硬件开发迭代。
方法
论文提出 Cascade,首个 Verilog JIT 编译器:先在软件模拟器中立即执行代码,同时在后台进行硬件编译,完成后将代码迁移到硬件;并支持通用 printf 调试。
评估
通过性能测量与用户研究评估:启动到运行小于一秒,调试环境性能损失不超过 3 倍,对最终设计影响很小,且对带 IO 副作用的程序仍成立,并改善专家与非专家的开发效率。
原文摘要(Abstract)

FPGAs offer compelling acceleration opportunities for modern applications. However compilation for FPGAs is painfully slow, potentially requiring hours or longer. We approach this problem with a solution from the software domain: the use of a JIT. Code is executed immediately in a software simulator, and compilation is performed in the background. When finished, the code is moved into hardware, and from the user's perspective it simply gets faster. We have embodied these ideas in Cascade: the first JIT compiler for Verilog. Cascade reduces the time between initiating compilation and running code to less than a second, and enables generic printf debugging from hardware. Cascade preserves program performance to within 3× in a debugging environment, and has minimal effect on a finalized design. Crucially, these properties hold even for programs that perform side effects on connected IO devices. A user study demonstrates the value to experts and non-experts alike: Cascade encourages more frequent compilation, and reduces the time to produce working hardware designs.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4850,
  title = {Just-In-Time Compilation for Verilog},
  author = {Eric Schkufza and Michael Wei and Christopher J. Rossbach},
  booktitle = {ASPLOS},
  year = {2019},
  doi = {10.1145/3297858.3304010}
}