Register Transfer Level

Momentum

4 papers in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28

Latest papers 37

All topics
CardsList
  1. ChipMEM: Verification-Grounded Memory for EDA Agents

    Sep 22, 2026Abdulrahman AlRabah, Joshua Mabry, Dilek Hakkani-Tür +4Electronic Design AutomationSemantic Memory

  2. Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies

    Sep 17, 2026Hang Xiao, Chuhong Xu, Kainan Zhou +2Runtime EnforcementModel Auditing

  3. SynAct: A Reasoning-Acting Large Language Model Agent for Adaptive Synthesis Optimization

    Aug 13, 2026Fangzhou Liu, Peiyi Han, Jiawei Liu +5Invariant SynthesisSynthesis

  4. HINT: Toward an Executable Hardware-Intent Representation Layer for LLM-Driven RTL Generation

    Aug 7, 2026Tairan Cheng, Yi Liu, Dongsheng Zuo +6Register Transfer LevelHardware Efficiency

  5. RTLCurator: Label-Efficient Data Curation for RTL Generation

    Jul 31, 2026Siyang Cai, Cangyuan Li, Wenjing Chang +4Hierarchical Register Transfer Level GenerationRegister Transfer Level

  6. ARES: Adaptive Reasoning-Effort Steering for PPA- and Cost-Aware RTL Optimization with LLM Agents

    Jul 30, 2026Stef Cuyckens, Mihaela Jivanescu, Jun Yin +2Hierarchical Register Transfer Level GenerationRegister Transfer Level

  7. GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

    Jul 28, 2026Xin Xin, Jincheng Lou, Junhui Li +11Formal VerificationRegister Transfer Level

  8. Can AI Agents Really Complete RTL-to-GDS? Lessons from Benchmarking Tool-Interactive EDA Workflows

    Jul 20, 2026Jinyuan Deng, Zhengrui Chen, Xufeng Wei +4Electronic Design AutomationAgentic Workflow Design

  9. RTL-Sequencer: Towards Scalable RTL Timing Prediction with the Sequence-based Paradigm

    Jul 17, 2026Ziyan Guo, Wenji Fang, Wenkai Li +3Sequence ModelingRegister Transfer Level

  10. AUTOGATE: Automated Clock Gating via Toggling-Aware LLM-based RTL Rewriting

    Jun 16, 2026Yiting Wang, Chenhui Deng, Chia-Tung Ho +6Hierarchical Register Transfer Level GenerationField-Programmable Gate Arrays

  11. Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement

    Jun 16, 2026You Li, Samuel Mandell, David Z. PanEdge HardwareRegister Transfer Level

  12. LLM4RTL: Tool-Assisted LLM for RTL Generation

    Jun 13, 2026Jing Jin, Robert Chu, Ning Yan +1High-Level SynthesisRegister Transfer Level

  13. Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation

    Jun 11, 2026En-Ming Huang, Yu-Hung Kao, Ren-Hao Deng +10Hierarchical Register Transfer Level GenerationTest Generation

  14. CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs

    Jun 4, 2026Mohammad Akyash, Nowfel Mashnoor, Kimia Azar +1Hierarchical Register Transfer Level GenerationRegister Transfer Level

  15. Alpha-RTL: Test-Time Training for RTL Hardware Optimization

    Jun 3, 2026Peilong Zhou, Zhirong Chen, Cangyuan Li +4Hierarchical Register Transfer Level GenerationRegister Transfer Level

  16. EstRTL: Functional Estimation Guided RTL Code Generation

    Jun 1, 2026Qi Xiong, Renzhi Chen, Bowei Wang +3Hierarchical Register Transfer Level GenerationRegister Transfer Level

  17. UniRTL: Unifying Code and Graph for Robust RTL Representation Learning

    May 29, 2026Yi Liu, Hongji Zhang, Lei Chen +2Hierarchical Register Transfer Level GenerationRegister Transfer Level

  18. AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications

    May 26, 2026Yuchao Wu, Wenji Fang, Jing Wang +3Systemverilog AssertionsHigh-Level Synthesis

  19. Trace2Skill: Verifier-Guided Skill Evolution for Long-Context EDA Agents

    May 20, 2026Zijian Du, Nathaniel PinckneyHigh-Level SynthesisSkill Evolution

  20. RTL-BenchMT: Dynamic Maintenance of RTL Generation Benchmark Through Agent-Assisted Analysis and Revision

    May 15, 2026Jing Wang, Shang Liu, Hangan Zhou +1Register Transfer LevelLarge Language Model Benchmarks

  21. Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification

    May 7, 2026Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde +1Formal VerificationSystemverilog Assertions

  22. RuC: HDL-Agnostic Rule Completion Benchmark Generation

    Apr 30, 2026Arnau Ayguadé Domingo, Miquel Alberti-Binimelis, Cristian Gutierrez-Gomez +5Code CompletionRegister Transfer Level

  23. How LLMs Fail and Generalize in RTL Coding for Hardware Design?

    Apr 26, 2026Guan-Ting Liu, Chao-Han Huck Yang, Chenhui Deng +3Register Transfer LevelLarge Language Models Fail

  24. TimingLLM: A Two-Stage Retrieval-Augmented Framework for Pre-Synthesis Timing Prediction from Verilog

    Apr 26, 2026Armin Abdollahi, Negin Ashrafi, Mehdi Kamal +1High-Level SynthesisRegister Transfer Level

  25. AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning

    Apr 20, 2026Chongxiao Li, Pengwei Jin, Di Huang +14Prompt OptimizationOptimal Power Shutoff

  26. Configuration Over Selection: Hyperparameter Sensitivity Exceeds Model Differences in Open-Source LLMs for RTL Generation

    Apr 18, 2026Minghao Shao, Zeng Wang, Weimin Fu +5Large Language Model BenchmarksRegister Transfer Level

  27. VeriGraphi: A Multi-Agent Framework of Hierarchical RTL Generation for Large Hardware Designs

    Apr 16, 2026Sazzadul Islam, Tasnim Tabassum, Hao ZhengHigh-Level SynthesisHierarchical Register Transfer Level Generation