The widening gap between System-on-Chip (SoC) design complexity and verification productivity has rendered traditional script-based automation insufficient. While Large Language Models (LLMs) offer promise for code synthesis, they typically fail in hardware verification contexts due to a lack of architectural consistency and an inability to reason about temporal signal semantics. This paper proposes a Context-Aware Verification Loop (CAVL) methodology, an iterative framework that integrates semantic project indexing with simulation-based feedback to achieve verification closure. Unlike static generation, CAVL employs a dynamic refinement cycle where compiler diagnostics, simulation logs, and functional coverage metrics serve as feedback signals to guide the AI agent. We validate this framework on a dual-mode I2C Universal Verification Methodology (UVM) environment as a representative case study. The experimental results indicate, within this single-protocol context, the framework’s capacity to (1) resolve complex signal-level contention issues through logic refactoring, (2) achieve complete functional coverage via directed test synthesis, and (3) maintain cross-file architectural consistency with reduced human intervention. This work presents an initial quantitative baseline for AI-driven Electronic Design Automation (EDA), suggesting that context-aware feedback loops offer a pathway toward restructuring the verification engineer’s role from implementation to architectural intent specification.
Building similarity graph...
Analyzing shared references across papers
Loading...
Chin-Wen Liao
National Changhua University of Education
Cheng-Chia Wang
National Changhua University of Education
Electronics
National Changhua University of Education
Building similarity graph...
Analyzing shared references across papers
Loading...
Liao et al. (Tue,) studied this question.
synapsesocial.com/papers/69e9bb6285696592c86ed123 — DOI: https://doi.org/10.3390/electronics15081763