GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

Functional verification dominates integrated circuit (IC) front-end engineering effort, and a single missed bug that escapes to silicon can trigger a costly respin. Recent large language models (LLMs) offer new opportunities to automate this process, yet existing LLM-based approaches generate each component through independent single-turn calls with no shared context, leaving interface mismatches undetected and reported coverage disconnected from specification requirements. To address these challenges, we present GoGoTB, an agentic framework that achieves end-to-end verification closure through three subsystems: an agentic execution control layer, an evolvable knowledge system, and specification-grounded coverage closure. The execution control layer separates deterministic enforcement from LLM reasoning at every tool and stage boundary. The knowledge system dispatches methodology and design-specific expertise on demand. The coverage framework anchors every bin to a named specification behavior so that each residual gap has a diagnosable root cause and a targeted remedy. Tested on 8 register transfer level (RTL) designs without any human intervention, GoGoTB achieves 100\% environment generation success and averages 98.4\% line, 97.2\% branch, 97.0\% toggle, and 83.2\% functional coverage. No prior work successfully generates a complete verification environment or achieves meaningful coverage on the same benchmarks.

Effect of Antenna Deployment on Achievable Rate in Cooperative Magnetic Induction Communication

Magnetic Induction (MI) communication can be applied in some through-the-earth scenarios such as mines and underground rivers. To increase the transmission rate of MI communications, we propose a cooperative MI (CMI) scheme with an amplify-and-forward (AF) relay. Different from existing studies, we mainly focus on the relay with arbitrary antenna position and orientation (antenna deployment, AD). We derive the closed-form expression of CMI achievable data rate gain (CMG) for the relay and the closed-form expression of CMI channel bandwidth. Simulations reveal that a relay with appropriate AD could yield a significant increase in the achievable rate for MI systems.

Antenna Optimization for Decode-and-Forward Relay in Magnetic Induction Communications

Magnetic Induction (MI) communication is effective in underground tunnels for emergency rescue vehicle due to the small-size antenna. It can highly benefit from a cooperative decode-and-forward (DF) relay to achieve a higher data rate. However, its channel gain is extremely position-and-orientation-selective. The unreachable space increases the complexity of the antenna deployment. To find the best antenna position and orientation (PO) of the relay achieving the higher data rate, this paper formulates the optimization problem of the relay MI antenna PO with tunnel constraints. To solve the problem more quickly, we propose to use geometric modeling to eliminate the tunnel constraints and develop a random-search algorithm achieving a fast convergence and excellent global search ability. Simulations show that the proposed algorithm can quickly converge to one optimum which signifies a noticeable improvement of data rate for vehicle MI systems with weak signals.

LEGO: An LLM Skill-Based Front-End Design Generation Platform

Existing LLM-based EDA agents are often isolated task-specific systems. This leads to repeated engineering effort and limited reuse of successful design and debugging strategies. We present LEGO, a unified skill-based platform for front-end design generation. It decomposes the digital front-end flow into six independent steps and represents every agent capability as a standardized composable circuit skill within a plug-and-play architecture. To build this skill library, we survey more than 100 papers, select 11 representative open-source projects, and extract 42 executable circuit skills within a six-step finite state machine formulation. Circuit Skill Builder automates skill extraction with linear scalability. Agent Skill RAG achieves submillisecond retrieval without relying on embedding models. Empirical evaluation on a hard subset of 41 VerilogEval v2 problems that gpt-5.2-codex fails to solve under extra-high reasoning effort shows that individual circuit skills constructed within LEGO raise Pass@1 from 0.000 to 0.805. This is an 80.5% gain over the baseline. Cross-project skill compositions also reach 0.805 Pass@1. They outperform hierarchy-verilog by 14.6% and VerilogCoder by 2.5%. They also match MAGE. These results show that modular skill composition supports both effective and flexible RTL design automation. The LEGO platform and all circuit skills are publicly available at GitHub: https://github.com/loujc/LEGO-An-LLM-Skill-Based-Front-End-Design-Generation-Platform