Programming Languages · Computer Science
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
Shailja Thakur, Baleegh Ahmad, Zhenxing Fan, Hammond Pearce +4
2022-12-22
Hardware Architecture · Computer Science
VeriInteresting: An Empirical Study of Model Prompt Interactions in Verilog Code Generation
Luca Collini, Andrew Hennesee, Patrick Yubeaton, Siddharth Garg +1
2026-04-14
Cryptography and Security · Computer Science
VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog
Xiang Long, Yingjie Xia, Xiyuan Chen, Li Kuang
2025-08-22
Hardware Architecture · Computer Science
AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code
Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2025-09-11
Hardware Architecture · Computer Science
Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning
Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang +2
2025-04-22
Software Engineering · Computer Science
CodeGRAG: Bridging the Gap between Natural Language and Programming Language via Graphical Retrieval Augmented Generation
Kounianhua Du, Jizheng Chen, Renting Rui, Huacan Chai +6
2025-05-20
Machine Learning · Computer Science
VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning
Fu Teng, Miao Pan, Xuhong Zhang, Zhezhi He +5
2025-08-27
Hardware Architecture · Computer Science
VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation
Yan Tan, Tong Liu, Xiangchen Meng, Yangdi Lyu
2026-04-21
Software Engineering · Computer Science
VerilogReader: LLM-Aided Hardware Test Generation
Ruiyang Ma, Yuxin Yang, Ziqian Liu, Jiaxi Zhang +3
2025-01-03
Machine Learning · Computer Science
VerilogEval: Evaluating Large Language Models for Verilog Code Generation
Mingjie Liu, Nathaniel Pinckney, Brucek Khailany, Haoxing Ren
2023-12-12
Hardware Architecture · Computer Science
VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency
Zhuorui Zhao, Ruidi Qiu, Ing-Chao Lin, Grace Li Zhang +2
2025-02-04
Programming Languages · Computer Science
AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu
2026-03-13
Software Engineering · Computer Science
CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
Ruijun Feng, Hammond Pearce, Pietro Liguori, Yulei Sui
2025-07-22
Hardware Architecture · Computer Science
Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback
Ning Wang, Bingkun Yao, Jie Zhou, Yuchen Hu +3
2025-04-23
Machine Learning · Computer Science
MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation
Yongan Zhang, Zhongzhi Yu, Yonggan Fu, Cheng Wan +1
2024-07-04
Hardware Architecture · Computer Science
EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code
Ping Guo, Yiting Wang, Wanghao Ye, Yexiao He +4
2025-08-20
Programming Languages · Computer Science
VeriGen: A Large Language Model for Verilog Code Generation
Shailja Thakur, Baleegh Ahmad, Hammond Pearce, Benjamin Tan +3
2023-08-03
Artificial Intelligence · Computer Science
VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
Yiting Wang, Guoheng Sun, Wanghao Ye, Gang Qu +1
2025-05-20
Hardware Architecture · Computer Science
Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
Prithwish Basu Roy, Akashdeep Saha, Manaar Alam, Johann Knechtel +3
2025-06-03
Hardware Architecture · Computer Science
Natural Language to Verilog: Design of a Recurrent Spiking Neural Network using Large Language Models and ChatGPT
Paola Vitolo, George Psaltakis, Michael Tomlinson, Gian Domenico Licciardo +1
2024-12-12
Human-Computer Interaction · Computer Science
ViseGPT: Towards Better Alignment of LLM-generated Data Wrangling Scripts and User Prompts
Jiajun Zhu, Xinyu Cheng, Zhongsu Luo, Yunfan Zhou +3
2025-08-05
Hardware Architecture · Computer Science
Revisiting VerilogEval: A Year of Improvements in Large-Language Models for Hardware Code Generation
Nathaniel Pinckney, Christopher Batten, Mingjie Liu, Haoxing Ren +1
2025-02-05
Robotics · Computer Science
VeriGraph: Scene Graphs for Execution Verifiable Robot Planning
Daniel Ekpo, Mara Levy, Saksham Suri, Chuong Huynh +2
2026-04-20