GoGoTB는 집적회로(IC) 설계 검증에서 공유 맥락 없이 독립적으로 생성되는 기존 LLM 기반 방식의 한계를 넘어, 결정론적 집행 계층·진화 가능한 지식 시스템·명세서 기반 커버리지 클로저라는 세 하위 시스템으로 종단 간 검증 완결성을 달성하는 에이전트 프레임워크다. 집행 제어 계층은 모든 도구·단계 경계에서 결정론적 집행과 LLM 추론을 분리하고, 지식 시스템은 방법론 및 설계별 전문지식을 필요에 따라 배분하며, 커버리지 프레임워크는 모든 커버리지 빈을 명명된 명세 행동에 고정해 진단 가능한 근본 원인을 제공한다. 인간 개입 없이 8개 RTL 설계를 테스트한 결과 100% 환경 생성 성공률과 평균 라인 커버리지 98.4%, 분기 커버리지 97.2%, 토글 커버리지 97.0%, 기능 커버리지 83.2%를 달성했으며, 동일 벤치마크에서 완전한 검증 환경 생성이나 의미 있는 커버리지를 달성한 선행 연구는 없었다.
- •결정론적 집행 계층·진화형 지식 시스템·명세서 기반 커버리지 클로저의 3단 구조 에이전트 프레임워크
- •8개 RTL 설계에서 인간 개입 없이 100% 검증 환경 생성 성공률 달성
- •평균 라인 98.4%·분기 97.2%·토글 97.0%·기능 커버리지 83.2% 기록
- •동일 벤치마크에서 완전한 검증 환경 생성에 성공한 선행 연구가 없었다는 점에서 의미
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
본문 미리보기
arXiv:2607.26181v1 Announce Type: new Abstract: 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
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:49AI 초안

