将论文中的硬件架构自动转为可综合的Verilog代码并验证性能。
Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework
- 用符号图结构解析论文中的架构蓝图与功能说明。
- 生成的代码通过测试平台验证,时序无违规且性能与原文一致。
- 首个针对硬件架构复现的基准数据集,支持全面评估。
从学术论文复现硬件架构仍面临重大挑战,主要源于源码未公开及硬件描述语言(HDL)复杂性。为此,我们提出 ArchCraft 框架,将学术论文中的抽象架构描述转化为可综合的 Verilog 项目,并实现寄存器传输级(RTL)验证。该框架采用形式化图结构捕捉架构蓝图,以符号定义功能规范,将非结构化论文转化为可验证、硬件感知的设计。随后,通过符号解耦生成 RTL 与测试平台代码,便于验证与调试,最终报告电路的功耗(Power)、面积(Area)和性能(PPA)。此外,我们提出了首个基准数据集 ArchSynthBench,包含 50 个项目级电路和约 600 个电路模块,配备完整评估指标。在 ArchSynthBench 上系统评估 ArchCraft,结果表明其在论文理解与代码补全方面优于直接生成方法和 VerilogCoder 框架。进一步的评估与物理实现显示,生成的可执行 RTL 代码均满足时序约束,性能指标与原始论文一致。
原文摘要 · Abstract (English)
The reproduction of hardware architectures from academic papers remains a significant challenge due to the lack of publicly available source code and the complexity of hardware description languages (HDLs). To this end, we propose \textbf{ArchCraft}, a Framework that converts abstract architectural descriptions from academic papers into synthesizable Verilog projects with register-transfer level (RTL) verification. ArchCraft introduces a structured workflow, which uses formal graphs to capture the Architectural Blueprint and symbols to define the Functional Specification, translating unstructured academic papers into verifiable, hardware-aware designs. The framework then generates RTL and testbench (TB) code decoupled via these symbols to facilitate verification and debugging, ultimately reporting the circuit's Power, Area, and Performance (PPA). Moreover, we propose the first benchmark, \textbf{ArchSynthBench}, for synthesizing hardware from architectural descriptions, with a complete set of evaluation indicators, 50 project-level circuits, and around 600 circuit blocks. We systematically assess ArchCraft on ArchSynthBench, where the experiment results demonstrate the superiority of our proposed method, surpassing direct generation methods and the VerilogCoder framework in both paper understanding and code completion. Furthermore, evaluation and physical implementation of the generated executable RTL code show that these implementations meet all timing constraints without violations, and their performance metrics are consistent with those reported in the original papers.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。