UVMarvel: LLM 기반 자동화된 서브시스템 레벨 RTL 검증 UVM
요약
UVMarvel은 대규모 IC 개발의 병목 현상인 서브시스템 레벨 RTL 검증을 혁신적으로 개선하는 LLM 기반 자동화 프레임워크입니다. 이 도구는 복잡하고 이질적인 사양(Heterogeneous Specifications)을 분석하여 프로토콜에 맞는 UVM 테스트벤치를 자동으로 구축합니다. 또한, Signal Tracker와 Verilog Patching Library를 활용해 고품질의 스티뮬러스 생성까지 자동화함으로써, 검증 시간을 획기적으로 단축시키고 높은 코드 커버리지를 달성할 수 있게 합니다.
핵심 포인트
- UVM 테스트벤치 구축 및 스티뮬러스 생성에 필요한 광범위한 수동 코딩과 전문 지식의 필요성을 해결합니다.
- LLM을 활용하여 이질적인 사양(Heterogeneous Specifications)을 UVM 테스트벤치로 자동 변환하는 Intermediate Representation (IR)을 도입했습니다.
- Signal Tracker와 Verilog Patching Library를 통해 LLM 기반 스티뮬러스 정교화 및 프로토콜 준수를 보장합니다.
- 실제 적용 결과, 평균 코드 커버리지를 95.65% 달성하고 검증 시간을 수일에서 단 몇 시간으로 대폭 단축했습니다.
IC 개발에서 검증 (Verification)은 거의 70% 의 총 노력을 소비하는 주요 병목 현상입니다. 구조화된 검증 환경 (Structured Verification Environments) 을 통해 재사용성을 개선한 Universal Verification Methodology (UVM) 이지만, 서브시스템 레벨 UVM 테스트벤치 (Testbench) 구축과 고품질 스티뮉스 (Stimuli) 생성은 여전히 광범위한 수동 코딩, 반복적인 EDA 툴 실행, 그리고 깊은 프로토콜 및 마이크로 아키텍처 전문 지식이 필요합니다. 우리는 LLM 을 활용하여 서브시스템 레벨 RTL 에 대한 UVM 테스트벤치를 구축하는 자동화된 검증 프레임워크인 UVMarvel 을 제시합니다. UVMarvel 은 이질적인 스펙 (Heterogeneous Specifications) 을 프로토콜 올바른 서브시스템 레벨 UVM 테스트벤치로 번역하기 위한 Intermediate Representation (IR) 과 Bus Protocol Library 를 도입하며, LLM 기반 스티뮉스 정교화를 안내하기 위해 Signal Tracker 와 Verilog Patching Library 를 사용합니다. UVMarvel 은 메인스트림 버스 프로토콜을 가로지르는 서브시스템 레벨 UVM 테스트벤치를 자동으로 구축할 수 있는 첫 번째 프레임워크이며, 평균 코드 커버리지를 95.65% 달성하고 검증 시간을 몇 개의 인간 작업日从 4.5 시간 자동 실행으로 줄였습니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AR의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기