Image de couverture de livre

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Yiting, Ye, Wanghao, Guo, Ping, He, Yexiao, Wang, Ziyao, Tian, Bowei, He, Shwai, Sun, Guoheng, Shen, Zheyu, Chen, Sihan, Srivastava, Ankur, Zhang, Qingfu, Qu, Gang, Li, Ang
Format:	Preprint
Publié:	2025
Sujets:	Hardware Architecture Artificial Intelligence Machine Learning Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization
par: Wang, Yiting, et autres
Publié: (2025)

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code
par: Guo, Ping, et autres
Publié: (2025)

VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
par: Wang, Yiting, et autres
Publié: (2025)

CoIn: Counting the Invisible Reasoning Tokens in Commercial Opaque LLM APIs
par: Sun, Guoheng, et autres
Publié: (2025)

Fair Diagnosis: Leveraging Causal Modeling to Mitigate Medical Bias
par: Tian, Bowei, et autres
Publié: (2024)

Predictive Auditing of Hidden Tokens in LLM APIs via Reasoning Length Estimation
par: Wang, Ziyao, et autres
Publié: (2025)

EdgeLoRA: An Efficient Multi-Tenant LLM Serving System on Edge Devices
par: Shen, Zheyu, et autres
Publié: (2025)

RTLSquad: Multi-Agent Based Interpretable RTL Design
par: Wang, Bowei, et autres
Publié: (2025)

Towards counterfactual fairness through auxiliary variables
par: Tian, Bowei, et autres
Publié: (2024)

MindCraft: How Concept Trees Take Shape In Deep Models
par: Tian, Bowei, et autres
Publié: (2025)

Dr. RTL: Autonomous Agentic RTL Optimization through Tool-Grounded Self-Improvement
par: Fang, Wenji, et autres
Publié: (2026)

What Matters in Transformers? Not All Attention is Needed
par: He, Shwai, et autres
Publié: (2024)

Invisible Tokens, Visible Bills: The Urgent Need to Audit Hidden Operations in Opaque LLM Services
par: Sun, Guoheng, et autres
Publié: (2025)

PipeRTL: Timing-Aware Pipeline Optimization at IR-Level for RTL Generation
par: Yin, Shuo, et autres
Publié: (2026)

OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation
par: Liu, Shang, et autres
Publié: (2025)

NeuroSymAD: A Neuro-Symbolic Framework for Interpretable Alzheimer's Disease Diagnosis
par: He, Yexiao, et autres
Publié: (2025)

FormalRTL: Verified RTL Synthesis at Scale
par: Li, Kezhi, et autres
Publié: (2026)

FLoRA: Federated Fine-Tuning Large Language Models with Heterogeneous Low-Rank Adaptations
par: Wang, Ziyao, et autres
Publié: (2024)

UVLLM: An Automated Universal RTL Verification Framework using LLMs
par: Hu, Yuchen, et autres
Publié: (2024)

SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding
par: Li, Chengxi, et autres
Publié: (2025)

Vision-Language-Action in Robotics: A Survey of Datasets, Benchmarks, and Data Engines
par: Wang, Ziyao, et autres
Publié: (2026)

FedMOA: Federated GRPO for Personalized Reasoning LLMs under Heterogeneous Rewards
par: Wang, Ziyao, et autres
Publié: (2026)

Prada: Black-Box LLM Adaptation with Private Data on Resource-Constrained Devices
par: Wang, Ziyao, et autres
Publié: (2025)

ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy
par: Tang, Jiaping, et autres
Publié: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
par: Chen, Luanrong, et autres
Publié: (2026)

ACE-RTL: When Agentic Context Evolution Meets RTL-Specialized LLMs
par: Deng, Chenhui, et autres
Publié: (2026)

Revisiting Federated Fine-Tuning: A Single Communication Round is Enough for Foundation Models
par: Wang, Ziyao, et autres
Publié: (2024)

Hot-LEGO: Architect Microfluidic Cooling Equipped 3DICs with Pre-RTL Thermal Simulation
par: Wang, Runxi, et autres
Publié: (2024)

Extend IVerilog to Support Batch RTL Fault Simulation
par: Tang, Jiaping, et autres
Publié: (2025)

GSIM: Accelerating RTL Simulation for Large-Scale Designs
par: Chen, Lu, et autres
Publié: (2025)

RTL-Repo: A Benchmark for Evaluating LLMs on Large-Scale RTL Design Projects
par: Allam, Ahmed, et autres
Publié: (2024)

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT
par: Chao, Zhiteng, et autres
Publié: (2025)

RTL++: Graph-enhanced LLM for RTL Code Generation
par: Akyash, Mohammad, et autres
Publié: (2025)

RTL Verification for Secure Speculation Using Contract Shadow Logic
par: Tan, Qinhan, et autres
Publié: (2024)

Nail: Not Another Fault-Injection Framework for Chisel-generated RTL
par: Sehm, Robin, et autres
Publié: (2025)

ROVER: RTL Optimization via Verified E-Graph Rewriting
par: Coward, Samuel, et autres
Publié: (2024)

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation
par: Wang, Yonghao, et autres
Publié: (2026)

ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
par: Deng, Chenhui, et autres
Publié: (2025)

Cross-Layer Design of Vector-Symbolic Computing: Bridging Cognition and Brain-Inspired Hardware Acceleration
par: Du, Shuting, et autres
Publié: (2025)

MEIC: Re-thinking RTL Debug Automation using LLMs
par: Xu, Ke, et autres
Publié: (2024)