High-Level Synthesis

Momentum

1 paper in the last four weeks, down 75% on the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28

Latest papers 50

All topics
CardsList
  1. Dictionary-Guided Mutation Operators for Automated HDL Repair

    Sep 1, 2026Maisha Mastora, Dean SullivanRepairHigh-Level Synthesis

  2. LLM-based Hardware Development with Hierarchical IRs and End-to-End Multi-Agent Workflow

    Aug 31, 2026Chenyang Yin, Agasthi Haputhanthri, Aditya Anirudh Jonnalagadda +7High-Level SynthesisEdge Hardware

  3. Fast and Memory-Efficient Wavelet Convolutions via I/O-Aware Reformulation

    Aug 11, 2026Amit Aflalo, Shahaf E. Finder, Roy Amoyal +2ConvolutionalWavelets

  4. CHORUS: Complementary Experts for High-Coverage Testbench Stimulus Generation

    Aug 10, 2026Hejia Zhang, Sheng Lu, Zhongming Yu +3High-Level SynthesisDeepseek

  5. HLSmith: An Expert-Guided Agentic Framework for C/C++-to-HLS Translation

    Aug 7, 2026Yuebo Luo, Ahmad Sedigh Baroughi, Philip Stachura +4High-Level SynthesisLlm-Driven Code Synthesis

  6. VeriTrace: Human-Like Temporal Exploration Completes Agentic Action Space

    Aug 3, 2026Yu-Tung Liu, Cunxi YuHigh-Level SynthesisTraces

  7. Benchmarking LLMs for Verilog Design Flows

    Jul 23, 2026Angshuman Chakravertty, Rahul Koshti, Buddhi Prakash Sharma +1High-Level SynthesisHierarchical Register Transfer Level Generation

  8. When LLMs Over-Answer: Measuring and Mitigating Quality Issues in LLM-Based Hardware Description Language Question Answering

    Jul 19, 2026Ziteng Hu, Jiachi Chen, Wenhao Lv +2Large Language Model ResponsesHigh-Level Synthesis

  9. AutoVSR: Automatic Visual-to-Symbolic Reasoning for Symbolic Expression Generation from Circuit Schematic

    Jul 13, 2026Zhe Xiao, Longfei Li, Xu He +3High-Level SynthesisSymbol-

  10. LLM for EDA in Front-End Design: Challenges and Opportunities

    Jul 10, 2026Kangwei Xu, Bing Li, Ulf SchlichtmannElectronic Design AutomationHigh-Level Synthesis

  11. AgRefactor: Self-Evolving Agentic Workflow for HLS Compatibility and Performance

    Jun 29, 2026Yang Zou, Zijian Ding, Yizhou Sun +1Code RefactoringHigh-Level Synthesis

  12. Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification

    Jun 25, 2026Zhe Zhao, Hongbing Lang, Zhihan Xiao +3High-Level Synthesis

  13. VeriPilot: An LLM-Powered Verilog Debugging Framework

    Jun 22, 2026Yihan Wang, Cheng Liu, Jiazheng Zhang +4Model DebuggingHigh-Level Synthesis

  14. LLM4RTL: Tool-Assisted LLM for RTL Generation

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

  15. VHDLSuite: Unified Pipeline for LLM VHDL Generation with Data Synthesis and Evaluation

    Jun 11, 2026Yijun Shen, Minghao Shao, Yichen Zhao +4High-Level SynthesisEdge Hardware

  16. OpenRTLSet: A Fully Open-Source Dataset for Large Language Model-based Verilog Module Design

    Jun 9, 2026Jinghua Wang, Lily Jiaxin Wan, Sanjana Pingali +6High-Level Synthesis

  17. Spiking Neural Network inference on FPGAs with hls4ml

    Jun 8, 2026Barry M. DillonSpiking Neural NetworksField-Programmable Gate Arrays

  18. ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards

    Jun 6, 2026Prashanth Vijayaraghavan, Charles Mackin, Luyao Shi +6High-Level SynthesisEdge Hardware

  19. HighTide: An Agent-Curated Open-Source VLSI Benchmark Suite

    Jun 2, 2026Benjamin Goldblatt, Paolo Pedroso, Farhad Modaresi +2High-Level SynthesisEdge Hardware

  20. Foley-Omni: A Unified Multimodal Generation Model from Task-Level Audio Synthesis to Complete Video Soundtrack Generation

    Jun 2, 2026Ye Tao, Lupeng Liu, Xuenan Xu +6Modern Generative Audio ModelsMultimodal Generation

  21. EstRTL: Functional Estimation Guided RTL Code Generation

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

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

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

  23. Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation

    May 26, 2026Zehua Pei, Hui-Ling Zhen, Yu Zhang +3High-Level SynthesisHierarchical Register Transfer Level Generation

  24. SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation

    May 24, 2026Jaime Rafael Imperial, Hao ZhengSystemverilog AssertionsHigh-Level Synthesis

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

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

  26. Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

    May 14, 2026Frederik Schmitt, Matthias Cosler, Niklas Metzger +4Invariant SynthesisFormal Verification

  27. A3D: Agentic AI flow for autonomous Accelerator Design

    May 14, 2026Abinand Nallathambi, Christopher Knight, Shantanu Ganguly +2Automated Heuristic DesignHigh-Level Synthesis

  28. Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring

    May 11, 2026Hongqin Lyu, Yonghao Wang, Zhiteng Chao +2Systemverilog AssertionsHigh-Level Synthesis

  29. 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

  30. LLM-Driven Design Space Exploration of FPGA-based Accelerators

    May 7, 2026Vinamra Sharma, Xingjian Fu, Jude Haris +1Field-Programmable Gate ArraysHigh-Level Synthesis

  31. From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation

    Apr 30, 2026Guang Yang, Xing Hu, Xiang Chen +1Image-To-Code GenerationHigh-Level Synthesis

  32. HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

    Apr 30, 2026Chang-Chih Meng, Yu-Ren Lu, Guan-Yu Lin +3High-Level SynthesisTest Generation

  33. VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis

    Apr 27, 2026Antoine P. Leeman, Shuyu Zhan, Melanie N. Zeilinger +1Visual ServoingVisuomotor Control

  34. RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

    Apr 27, 2026Yifan Zhang, Jianmin Ye, Jiahao Yang +1High-Level SynthesisProbabilistic Model Checking

  35. 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

  36. Exploring LLM-based Verilog Code Generation with Data-Efficient Fine-Tuning and Testbench Automation

    Apr 16, 2026Mu-Chi Chen, Po-Hsuan Huang, Yu-Hung Kao +6High-Level SynthesisEdge Hardware

  37. 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

  38. LLM-Guided Dynamic Action Spaces for Synthesizable Molecular Optimization

    Apr 9, 2026Tao Li, Kaiyuan Hou, Tuan Vinh +4Molecular OptimizationReaction