paperbot · PL 论文追踪

全部论文 待读 收藏

P2 P <scp>arendi</scp> : Thousand-Way Parallel RTL Simulation

Parendi:千路并行 RTL 仿真
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10 · 论文聚焦于在 Graphcore IPU 上实现大规模并行 RTL 仿真,涉及体系结构、并行编译与同步优化,但与用户核心关注的静态分析、LLM/Agent 增强的程序分析、浮点程序分析及贝叶斯程序分析等方向没有直接关联。引用 8 inbox
Mahyar Emami, Thomas Bourgeat, James R. Larus
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:Parendi 面向 Graphcore IPU 的并行 RTL 仿真器,可扩展至 5888 核,较 x64 多核最快提升 4 倍。

随着芯片复杂度提升,单线程周期精确 RTL 仿真因单核性能停滞而难以为继。Parendi 利用 RTL 仿真固有的细粒度并行性,将其高效映射到大规模并行的 Graphcore IPU 架构。作者提出新的划分与编译技术,并系统量化同步、通信与计算开销,给出相应优化策略。在 4 个 IPU socket 上,Parendi 可扩展至 5888 核,运行大型 RTL 设计时比最强的 x64 多核系统最快提升 4 倍,表明大规模并行架构可显著加速 RTL 仿真。

问题
单线程周期精确 RTL 仿真随芯片复杂度提升而不可扩展,如何利用 RTL 仿真固有的细粒度并行性实现加速是核心问题。
方法
将 RTL 仿真映射到 Graphcore IPU 大规模并行架构,设计新的划分与编译技术,并量化优化同步、通信和计算开销。
评估
在 4 个 Graphcore IPU socket(最多 5888 核)上运行大型 RTL 设计,并与最先进的 x64 多核系统进行性能对比,最高获得 4 倍加速。
原文摘要(Abstract)

Hardware development critically depends on cycle-accurate RTL simulation. However, as chip complexity increases, conventional single-threaded simulation becomes impractical due to stagnant single-core performance. Parendi is an RTL simulator that addresses this challenge by exploiting the abundant fine-grained parallelism inherent in RTL simulation and efficiently mapping it onto the massively parallel Graphcore IPU (Intelligence Processing Unit) architecture. Parendi scales up to 5888 cores on 4 Graphcore IPU sockets. It allows us to run large RTL designs up to 4x faster than the most powerful state-of-the-art x64 multicore systems. To achieve this performance, we developed new partitioning and compilation techniques and carefully quantified the synchronization, communication, and computation costs of parallel RTL simulation: The paper comprehensively analyzes these factors and details the strategies that Parendi uses to optimize them.

链接与引用

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

BibTeX
@inproceedings{EmamiBL25,
  title = {P
                    <scp>arendi</scp>
                    : Thousand-Way Parallel RTL Simulation},
  author = {Mahyar Emami and Thomas Bourgeat and James R. Larus},
  booktitle = {ASPLOS},
  year = {2025},
  doi = {10.1145/3676641.3716010}
}