Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation

Created by
  • Haebom
Category
Empty

저자

Bardia Nadimi, Khashayar Filom, Deming Chen, Hao Zheng

개요

대규모 언어 모델(LLM)을 활용한 하드웨어 설계 및 검증에 대한 관심이 증가함에 따라, 본 논문은 검증 단계에서 중요한 역할을 하는 효과적인 자극 생성에 초점을 맞춘 프레임워크인 {\it TB or not TB}를 제시한다. 본 프레임워크는 Coverage-Driven Direct Preference Optimization (CD-DPO)을 통해 미세 조정된 LLM을 사용하며, 이를 위해 시뮬레이션 기반 커버리지 메트릭을 사용하여 고품질 및 저품질 테스트벤치를 쌍으로 구성한 PairaNet 데이터셋을 도입했다. 제안된 CD-DPO 방법은 정량적 커버리지 피드백을 최적화 목표에 직접 통합하여 검증 커버리지를 최대화하는 자극 생성을 유도한다. CVDP CID12 벤치마크 실험 결과, {\it TB or not TB}가 기존 오픈 소스 및 상용 baseline보다 우수한 성능을 보이며, 코드 커버리지에서 최대 77.27% 향상을 달성했다.

시사점, 한계점

시사점:
CD-DPO를 사용한 LLM 기반 자극 생성 프레임워크인 {\it TB or not TB}는 하드웨어 검증 효율성을 향상시킬 수 있음을 입증.
PairaNet 데이터셋의 도입은 LLM을 선호도 기반 훈련에 활용하여 성능 향상에 기여.
CVDP CID12 벤치마크 실험을 통해 기존 방법론 대비 우수한 성능 확인.
한계점:
실험이 CVDP CID12 단일 벤치마크에 국한되어, 다른 하드웨어 디자인에 대한 일반화 가능성은 추가 연구 필요.
CD-DPO의 구체적인 구현 방식 및 최적화 과정에 대한 상세 정보 부족.
LLM의 특성상 생성된 자극의 품질과 신뢰성을 보장하기 위한 추가적인 검증 단계 필요.
👍