Hardware Architecture · Computer Science
RIROS: A Parallel RTL Fault SImulation FRamework with TwO-Dimensional Parallelism and Unified Schedule
Jiaping Tang, Jianan Mu, Zizhen Liu, Ge Yu +5
2025-09-03
Hardware Architecture · Computer Science
ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy
Jiaping Tang, Jianan Mu, Silin Liu, Zizhen Liu +7
2025-04-24
Computation and Language · Computer Science
ITERTL: An Iterative Framework for Fine-tuning LLMs for RTL Code Generation
Peiyang Wu, Nan Guo, Xiao Xiao, Wenming Li +2
2025-04-24
Hardware Architecture · Computer Science
GSIM: Accelerating RTL Simulation for Large-Scale Designs
Lu Chen, Dingyi Zhao, Zihao Yu, Ninghui Sun +1
2025-08-05
Computation and Language · Computer Science
Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation
Zehua Pei, Hui-Ling Zhen, Yu Zhang, Sinno Jialin Pan +2
2026-05-27
Hardware Architecture · Computer Science
EDA-Aware RTL Generation with Large Language Models
Mubashir ul Islam, Humza Sami, Pierre-Emmanuel Gaillardon, Valerio Tenace
2024-12-09
Hardware Architecture · Computer Science
CCSS: Hardware-Accelerated RTL Simulation with Fast Combinational Logic Computing and Sequential Logic Synchronization
Weigang Feng, Yijia Zhang, Zekun Wang, Zhengyang Wang +3
2025-09-04
Programming Languages · Computer Science
Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
Hanxian Huang, Zhenghan Lin, Zixuan Wang, Xin Chen +2
2024-06-04
Hardware Architecture · Computer Science
Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
Mahyar Emami, Sahand Kashani, Keisuke Kamahori, Mohammad Sepehr Pourghannad +2
2024-02-09
Programming Languages · Computer Science
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
Juxin Niu, Yuxin Du, Dan Niu, Xi Wang +2
2025-09-23
Artificial Intelligence · Computer Science
PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
Yujie Zhao, Zhijing Wu, Boqin Yuan, Zhongming Yu +5
2025-12-10
Systems and Control · Electrical Eng. & Systems
Faster than Real-Time Simulation: Methods, Tools, and Applications
XiaoRui Liu, Juan Ospina, Ioannis Zografopoulos, Alonzo Russell +1
2021-04-12
Hardware Architecture · Computer Science
RTLSeek: Boosting the LLM-Based RTL Generation with Multi-Stage Diversity-Oriented Reinforcement Learning
Xinyu Zhang, Zhiteng Chao, Yonghao Wang, Bin Sun +5
2026-03-31
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
Hardware Architecture · Computer Science
Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
Jiale Liu, Taiyu Zhou, Tianqi Jiang
2026-01-28
Hardware Architecture · Computer Science
ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
Chenhui Deng, Yun-Da Tsai, Guan-Ting Liu, Zhongzhi Yu +1
2025-07-17
Other Computer Science · Computer Science
The New Embedded System Design Methodology For Improving Design Process Performance
Maman Abdurohman, Kuspriyanto, Sarwono Sutikno, Arif Sasongko
2010-05-07
Distributed, Parallel, and Cluster Computing · Computer Science
Fault-Tolerant Adaptive Parallel and Distributed Simulation
Gabriele D'Angelo, Stefano Ferretti, Moreno Marzolla, Lorenzo Armaroli
2016-12-30
Distributed, Parallel, and Cluster Computing · Computer Science
Towards Resiliency in Large Language Model Serving with KevlarFlow
Shangshu Qian, Kipling Liu, P. C. Sruthi, Lin Tan +1
2026-02-02
Robotics · Computer Science
Analyzing and Improving Fault Tolerance of Learning-Based Navigation Systems
Zishen Wan, Aqeel Anwar, Yu-Shun Hsiao, Tianyu Jia +2
2021-11-10
Hardware Architecture · Computer Science
SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang, Yun-Chia Hsu +4
2026-03-04