지식 증강 LLM 에이전트를 통한 Shift-Left 고수준 합성 검증

요약

HLS 설계 과정에서 C 명세와 HLS-C 구현체 간의 기능적 일관성을 검증하기 위한 지식 증강 에이전트 기반 프레임워크를 제안합니다. 이중 계층 일관성 확인 메커니즘과 지식 그래프를 활용하여 기존 LLM 기반 검증의 한계를 극복하고 높은 커버리지를 달성했습니다.

핵심 포인트

• 지식 증강 에이전트를 통한 HLS 설계의 Shift-Left 검증 프레임워크 제안
• 정적 구조 정렬과 동적 동작 등가성을 결합한 이중 계층 일관성 확인 메커니즘 도입
• HLS 검증 지식 그래프를 구축하여 토폴로지 인식 추론 사전 지식 제공
• 기존 AST 및 RAG 기반 모델 대비 우수한 커버리지와 동적 일관성 입증