Enhancing chip design verification through AI-powered bug detection in RTL code

This paper presents a novel AI-driven approach for enhancing chip design verification through automated bug detection in Register Transfer Level (RTL) code. The proposed method integrates advanced machine learning techniques with domain-specific knowledge of chip design to address the challenges of increasing complexity and time-to-market pressures in modern integrated circuit development. Our system employs a comprehensive data preprocessing pipeline that effectively captures syntactic and semantic features of RTL code, feeding into an innovative attention-based neural network model. The model demonstrates superior bug detection accuracy across diverse design categories and bug types compared to traditional methods and existing AI-assisted approaches. Extensive experimental evaluation on a large-scale dataset of RTL designs, including both open-source projects and industry collaborations, validates the effectiveness of our method. The proposed approach achieves a 95% accuracy in bug detection, with a 28-35% reduction in verification time when applied to real-world chip design projects. The paper addresses the interpretability of AI decisions in the context of chip design, presenting novel visualization techniques that enhance trust and facilitate adoption among RTL designers. While acknowledging current limitations, we discuss future research directions, including integration with formal verification methods and extension to system-level verification scenarios. This work contributes significantly to AI-assisted chip design, paving the way for more efficient and reliable development of complex integrated circuits.

Authors

Institutions

Publication Details

Journal
Applied and Computational Engineering
Published
2024-09-13
DOI
https://doi.org/10.54254/2755-2721/92/20241685
Citations
5
Primary Topic
VLSI and Analog Circuit Testing
Type
article
Field-Weighted Citation Impact
2.45
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Enhancing chip design verification through AI-powered bug detection in RTL code

Haotian Zheng, Shikai Wang, Xin Wen, Kangming Xu et al.
5 citations
Applied and Computational Engineering
VLSI and Analog Circuit Testing
2.45
article

Enhancing chip design verification through AI-powered bug detection in RTL code

Haotian Zheng, Shikai Wang, Xin Wen, Kangming Xu, Hao Tan
article en
5 citations

Abstract

This paper presents a novel AI-driven approach for enhancing chip design verification through automated bug detection in Register Transfer Level (RTL) code. The proposed method integrates advanced machine learning techniques with domain-specific knowledge of chip design to address the challenges of increasing complexity and time-to-market pressures in modern integrated circuit development. Our system employs a comprehensive data preprocessing pipeline that effectively captures syntactic and semantic features of RTL code, feeding into an innovative attention-based neural network model. The model demonstrates superior bug detection accuracy across diverse design categories and bug types compared to traditional methods and existing AI-assisted approaches. Extensive experimental evaluation on a large-scale dataset of RTL designs, including both open-source projects and industry collaborations, validates the effectiveness of our method. The proposed approach achieves a 95% accuracy in bug detection, with a 28-35% reduction in verification time when applied to real-world chip design projects. The paper addresses the interpretability of AI decisions in the context of chip design, presenting novel visualization techniques that enhance trust and facilitate adoption among RTL designers. While acknowledging current limitations, we discuss future research directions, including integration with formal verification methods and extension to system-level verification scenarios. This work contributes significantly to AI-assisted chip design, paving the way for more efficient and reliable development of complex integrated circuits.

Applied and Computational EngineeringVol. 92(1)
University of Southern California (US), Santa Clara University (US), China University of Geosciences (Beijing) (CN), New York University (US)
Openalex Percentile: Top 10%
VLSI and Analog Circuit Testing
2.45
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.