GoGoTB: 행위적 RTL 검증(Verification)과 명세 기반 커버리지 폐쇄(Closure)

통합 회로 검증의 중요성

통합 회로 전면 공정 노동력의 대부분을 차지하는 기능 확인은, 실리콘에 도달한 단일 버그 하나가 비용이 많이 드는 리스핀을 유발할 수 있습니다. 따라서, 이 과정의 자동화는 매우 중요합니다. 최근 대규모 언어 모델은 이 과정을 자동화하는 새로운 기회를 제공하지만, 기존의 언어 모델 기반 접근 방식은 각 구성 요소를 독립적으로 단일턴 호출로 생성하여 공유된 상황이 없기 때문에 인터페이스 불일치가 감지되지 않고, 요구 사항과 연결된 보고된 커버리지가 분리됩니다.

고고티비 프레임워크

이러한 문제를 해결하기 위해, 고고티비라는 주체적 프레임워크를 제시합니다. 이 프레임워크는 3개의 서브시스템으로 구성되며, 3개의 서브시스템은 에이전트 실행 제어 계층, 진화 가능한 지식 시스템, 명세 기반 커버리지 폐쇄입니다. 실행 제어 계층은 언어 모델 추론과 결정적 강제를 툴과 단계 경계마다 분리합니다. 지식 시스템은 방법론과 디자인 특정 전문 지식을 필요에 따라 배포합니다. 커버리지 프레임워크는 각 이진을 명명된 명세 행동에 앵커하여, 각 잔차 갭의 진단 가능한 근본 원인과 대상 처방을 제공합니다. 고고티비 프레임워크의 성능을 평가하기 위해, 8개의 레지스터 전송 레벨 디자인에 대해 인간의 간섭이 없는 테스트를 수행한 결과, 고고티비는 100%의 환경 생성 성공률을 달성하고, 평균적으로 98.4%의 라인, 97.2%의 브랜치, 97.0%의 토글, 83.2%의 기능 커버리지를 달성했습니다. 이전의 연구는 동일한 벤치마크에서 의미 있는 커버리지나 완전한 검증 환경을 생성하지 못했습니다. 이러한 결과는 고고티비 프레임워크의 효율성을 입증하며, 통합 회로 검증의 자동화를 위한 새로운 기회를 제공합니다.