Buchumschlag

PipeRTL: Timing-Aware Pipeline Optimization at IR-Level for RTL Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yin, Shuo, Liu, Fangzhou, Zou, Lancheng, Fu, Rongliang, Zhao, Wenqian, Bai, Chen, Ho, Tsung-Yi, Xie, Yuan, Yu, Bei
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation
von: Liu, Shang, et al.
Veröffentlicht: (2025)

CPPL: A Circuit Prompt Programming Language
von: Yin, Shuo, et al.
Veröffentlicht: (2026)

Dr. RTL: Autonomous Agentic RTL Optimization through Tool-Grounded Self-Improvement
von: Fang, Wenji, et al.
Veröffentlicht: (2026)

FormalRTL: Verified RTL Synthesis at Scale
von: Li, Kezhi, et al.
Veröffentlicht: (2026)

SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding
von: Li, Chengxi, et al.
Veröffentlicht: (2025)

Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization
von: Fang, Wenji, et al.
Veröffentlicht: (2024)

ROVER: RTL Optimization via Verified E-Graph Rewriting
von: Coward, Samuel, et al.
Veröffentlicht: (2024)

ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
von: Deng, Chenhui, et al.
Veröffentlicht: (2025)

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization
von: Yao, Xufeng, et al.
Veröffentlicht: (2024)

ACE-RTL: When Agentic Context Evolution Meets RTL-Specialized LLMs
von: Deng, Chenhui, et al.
Veröffentlicht: (2026)

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT
von: Chao, Zhiteng, et al.
Veröffentlicht: (2025)

EDA-Aware RTL Generation with Large Language Models
von: Islam, Mubashir ul, et al.
Veröffentlicht: (2024)

RTL-Repo: A Benchmark for Evaluating LLMs on Large-Scale RTL Design Projects
von: Allam, Ahmed, et al.
Veröffentlicht: (2024)

RTL++: Graph-enhanced LLM for RTL Code Generation
von: Akyash, Mohammad, et al.
Veröffentlicht: (2025)

Assessing Large Language Models in Generating RTL Design Specifications
von: Huang, Hung-Ming, et al.
Veröffentlicht: (2025)

Extend IVerilog to Support Batch RTL Fault Simulation
von: Tang, Jiaping, et al.
Veröffentlicht: (2025)

GSIM: Accelerating RTL Simulation for Large-Scale Designs
von: Chen, Lu, et al.
Veröffentlicht: (2025)

QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL
von: Reimann, Lennart M., et al.
Veröffentlicht: (2024)

RTL Verification for Secure Speculation Using Contract Shadow Logic
von: Tan, Qinhan, et al.
Veröffentlicht: (2024)

Nail: Not Another Fault-Injection Framework for Chisel-generated RTL
von: Sehm, Robin, et al.
Veröffentlicht: (2025)

UVLLM: An Automated Universal RTL Verification Framework using LLMs
von: Hu, Yuchen, et al.
Veröffentlicht: (2024)

DeepRTL2: A Versatile Model for RTL-Related Tasks
von: Liu, Yi, et al.
Veröffentlicht: (2025)

CktEvo: Repository-Level RTL Code Benchmark for Design Evolution
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2026)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
von: Chang, Fu-Chieh, et al.
Veröffentlicht: (2026)

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models
von: Lv, Wenhao, et al.
Veröffentlicht: (2025)

RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models
von: Tsai, Yun-Da, et al.
Veröffentlicht: (2023)

Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
von: Emami, Mahyar, et al.
Veröffentlicht: (2023)

ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy
von: Tang, Jiaping, et al.
Veröffentlicht: (2025)

Analyzing the capabilities of HLS and RTL tools in the design of an FPGA Montgomery Multiplier
von: Ifrim, Rares, et al.
Veröffentlicht: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
von: Chen, Luanrong, et al.
Veröffentlicht: (2026)

PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
von: Zhao, Yujie, et al.
Veröffentlicht: (2025)

OmniSim: Simulating Hardware with C Speed and RTL Accuracy for High-Level Synthesis Designs
von: Sarkar, Rishov, et al.
Veröffentlicht: (2025)

Automated Multi-Agent Workflows for RTL Design
von: Bhattaram, Amulya, et al.
Veröffentlicht: (2025)

Using LLMs to Facilitate Formal Verification of RTL
von: Orenes-Vera, Marcelo, et al.
Veröffentlicht: (2023)

DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMs
von: Akyash, Mohammad, et al.
Veröffentlicht: (2025)

MemorySim: An RTL-level, timing accurate simulator model for the Chisel ecosystem
von: Chaurasia, Ansh
Veröffentlicht: (2025)

VeriRAG: A Retrieval-Augmented Framework for Automated RTL Testability Repair
von: Qi, Haomin, et al.
Veröffentlicht: (2025)

FERIVer: An FPGA-assisted Emulated Framework for RTL Verification of RISC-V Processors
von: Qin, Kun, et al.
Veröffentlicht: (2025)

POET: Power-Oriented Evolutionary Tuning for LLM-Based RTL PPA Optimization
von: Ping, Heng, et al.
Veröffentlicht: (2026)

From RTL to Prompt Coding: Empowering the Next Generation of Chip Designers through LLMs
von: Krupp, Lukas, et al.
Veröffentlicht: (2026)