반도체(IC) 개발 과정에서 기능 검증(functional verification)은 전체 엔지니어링 노력의 대부분을 차지하며, 단 하나의 버그라도 실리콘 제조 단계까지 넘어가면 막대한 비용의 재설계(respin)를 초래할 수 있습니다. 최근 대규모 언어모델(LLM)이 이 과정을 자동화할 새로운 기회를 제공했지만, 기존 LLM 기반 접근 방식은 각 구성 요소를 독립적인 단일 호출로 생성하여 인터페이스 불일치를 감지하지 못하고, 요구사항과 동떨어진 검증 범위(coverage)를 보고하는 문제가 있었습니다.
이러한 한계를 극복하기 위해 중국 연구진은 에이전트 기반 프레임워크 'GoGoTB'를 개발했습니다. GoGoTB는 세 가지 핵심 서브시스템을 통해 엔드투엔드 검증 완료(verification closure)를 달성합니다. 첫째, 에이전트 실행 제어 계층은 모든 도구 및 단계 경계에서 LLM 추론과 결정론적 강제를 분리합니다. 둘째, 진화 가능한 지식 시스템은 방법론 및 설계별 전문 지식을 온디맨드(on-demand)로 제공합니다. 셋째, 사양 기반 검증 범위 완료(specification-grounded coverage closure) 프레임워크는 모든 검증 빈(bin)을 명명된 사양 동작에 고정하여, 잔여 격차의 진단 가능한 근본 원인과 표적화된 해결책을 제시합니다.
GoGoTB는 사람의 개입 없이 8개의 레지스터 전송 레벨(RTL) 설계에 대해 테스트되었으며, 100% 환경 생성 성공률을 기록했습니다. 또한, 평균 98.4%의 라인(line), 97.2%의 브랜치(branch), 97.0%의 토글(toggle) 및 83.2%의 기능 검증 범위(functional coverage)를 달성했습니다. 이는 이전의 어떤 연구도 완전한 검증 환경을 성공적으로 생성하거나 동일한 벤치마크에서 의미 있는 검증 범위를 달성하지 못했던 것과 비교하면 매우 인상적인 결과입니다. GoGoTB의 등장은 반도체 설계 검증의 효율성을 획기적으로 개선하고, 복잡한 칩 설계 과정에서 발생할 수 있는 오류를 줄여 개발 시간과 비용을 절감하는 데 크게 기여할 것으로 보입니다.