Spec2Cov: LLM 기반 디지털 하드웨어 검증 자동화 프레임워크

요약

디지털 하드웨어 설계의 핵심 단계인 검증(Verification)은 높은 시간과 자원을 요구하며, 커버리지 클로저(Coverage Closure) 과정이 수동적이고 비효율적이라는 문제가 있습니다. 본 논문에서 제안하는 Spec2Cov는 대규모 언어 모델(LLM)을 활용한 에이전트 프레임워크입니다. Spec2Cov는 설계 명세서(design specifications)로부터 테스트 자극(test stimulus)을 자동으로 생성하고, LLM과 하드웨어 시뮬레이터를 연동하여 컴파일 및 시뮬레이션 오류를 관리하며 커버리지 보고서를 분석해

핵심 포인트

• Spec2Cov는 LLM 기반의 에이전트 프레임워크로, 설계 명세서로부터 테스트 자극을 자동으로 생성합니다.
• 프레임워크는 하드웨어 시뮬레이터와 상호작용하며 컴파일 및 시뮬레이션 오류를 관리하고 커버리지 보고서를 분석하는 기능을 수행합니다.
• 다양한 크기와 복잡성을 가진 26개 설계(CVDP 벤치마크 포함)에서 테스트되었으며, 단순 설계에서는 100% 커버리지를 달성했습니다.
• 복잡도가 높은 설계에서도 최대 49%의 커버리지 향상을 보여주며 검증 자동화에 기여합니다.