LLM 기반 하드웨어 검증의 한계 분석: 토큰 할당과 커버리지 갭 탐색

요약

본 연구는 LLM 기반 에이전트가 수행하는 하드웨어 검증(Hardware Verification)의 효율성 한계를 체계적으로 분석합니다. 기존 방식들이 커버리지 갭을 단순히 채우는 데 그쳤다면, 본 프레임워크는 '방법론적 한계'와 '추론적 경계'를 구분하여 근본적인 난이도를 식별합니다. 특히 시스템의 토큰 사용량을 6가지 범주로 추적하고 도메인 특화(domain-specialized) 에이전트를 적용함으로써, 일반 목적 LLM 대비 최대 13배 적은 토큰과 2~4배 빠른 속도로 높은 커버리지(95-99%)를 달성함을 입증했습니다.

핵심 포인트

• 본 연구는 하드웨어 검증의 주요 병목인 '커버리지 클로저' 문제를 다루며, LLM 에이전트가 직면하는 근본적인 한계를 체계적으로 분석합니다.
• 제안된 2단계 에이전트 프레임워크는 커버리지 갭을 '방법론적 천장(methodology-bound ceilings)'과 '추론적 전선(reasoning frontiers)'으로 분류하여 난이도를 명확히 합니다.
• 토큰 사용량을 시스템 프롬프트, 설계 이해, 자극 생성 등 6가지 범주로 추적하고 도메인 특화 에이전트를 적용함으로써 효율성을 극대화했습니다.
• 도메인 특화된 에이전트는 일반 목적 모델 대비 커버리지 목표 달성에 필요한 토큰을 4~13배 절감하고, 속도를 2~4배 향상시키는 성과를 보였습니다.