paperbot · PL 论文追踪

全部论文 待读 收藏

P2 RepCut: Superlinear Parallel RTL Simulation with Replication-Aided Partitioning

RepCut:基于复制辅助分区的超线性并行 RTL 仿真
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 1/10 · 该论文研究并行 RTL 仿真中的分区与同步优化,属于硬件验证/体系结构方向,与静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关联。引用 24 inbox
Haoyuan Wang, Scott Beamer
crossref: 2026-09-12

AI 速览

一句话:提出复制辅助分区的并行 RTL 仿真方法,降低通信同步开销并实现超线性加速。

RTL 仿真在硬件设计开发、调试、验证与确认中不可或缺。尽管硬件本身具有并行性,现有并行 RTL 仿真器因典型电路拓扑导致的高通信与同步开销,难以获得实用加速。本文提出 RepCut,一种复制辅助分区(replication-aided partitioning)方法,通过复制关键电路部分来改善并行划分,从而减少跨分区通信和同步需求,使并行 RTL 仿真能够获得超线性加速。标题与摘要表明该方法针对通信和同步瓶颈,目标是在硬件设计上提升并行仿真速度;具体实验评估未在摘要中展开。

问题
现有并行 RTL 仿真器受典型电路拓扑影响,跨分区通信与同步开销高,导致加速比难以达到实用水平。
方法
提出 RepCut,采用复制辅助分区(replication-aided partitioning)来组织并行 RTL 仿真负载,降低通信与同步成本。
评估
摘要未给出具体实验设置与数据,但标题声称该方法可实现超线性并行 RTL 仿真加速。
原文摘要(Abstract)

Register transfer level (RTL) simulation is an invaluable tool for developing, debugging, verifying, and validating hardware designs. Despite the parallel nature of hardware, existing parallel RTL simulators yield speedups unattractive for practical application due to high communication and synchronization costs incurred by typical circuit topologies.

链接与引用

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

BibTeX
@inproceedings{paperbot10057,
  title = {RepCut: Superlinear Parallel RTL Simulation with Replication-Aided Partitioning},
  author = {Haoyuan Wang and Scott Beamer},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3582016.3582034}
}