paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Effective simulation and debugging for a high-level hardware language using software compilers

利用软件编译器实现高级硬件语言的有效仿真与调试
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10 · 论文聚焦基于规则的高级硬件设计语言的仿真与调试,并借助软件编译器技术实现,属于硬件语言与编译器方向。它与用户核心关注的 LLM/Agent 与静态分析、浮点程序分析、贝叶斯程序分析等方向没有直接交集,仅有编译器/PL 这一非常弱的关联。引用 11 inbox
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
crossref: 2026-09-12

AI 速览

一句话:提出借助软件编译器为基于规则的高级硬件设计语言提供高效仿真与调试支持。

基于规则的高级硬件设计语言(RHDL)通过便捷抽象提升开发者生产力,而先进编译技术能保持抽象成本低廉,生成面积和时序优异的电路。然而,这类语言的仿真与调试支持往往不足。本文提出利用软件编译器(而非专用硬件仿真器)来实现 RHDL 的有效仿真与调试,从而复用成熟的编译器基础设施与优化。摘要仅简述了 RHDL 的动机与编译优势,未给出具体实现机制与实验评估数据,但标题表明核心贡献在于将软件编译器技术迁移至硬件语言的仿真调试场景。该方法有望在保持电路质量的同时,改善开发者的调试体验。

问题
高级硬件设计语言虽提供抽象便利,但缺乏有效的仿真与调试手段,影响开发效率。
方法
提出借助软件编译器基础设施(而非专用硬件仿真器)来支持 RHDL 的仿真与调试,以复用编译器优化与工具链。
评估
摘要未报告具体评估细节;标题暗示通过软件编译器实现有效仿真调试,并保持生成电路的面积与时序优势。
原文摘要(Abstract)

Rule-based hardware-design languages (RHDLs) promise to enhance developer productivity by offering convenient abstractions. Advanced compiler technology keeps the cost of these abstractions low, generating circuits with excellent area and timing properties.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot6096,
  title = {Effective simulation and debugging for a high-level hardware language using software compilers},
  author = {Clément Pit-Claudel and Thomas Bourgeat and Stella Lau and Arvind and Adam Chlipala},
  booktitle = {ASPLOS},
  year = {2021},
  doi = {10.1145/3445814.3446720}
}