Arcane: 의미론적 클러스터링 및 MCTS 기반 규칙 탐색을 통한 어설션 감소 프레임워크

요약

Arcane은 하드웨어 설계 검증 시 발생하는 중복된 어설션 문제를 해결하기 위한 새로운 프레임워크입니다. 의미론적 클러스터링과 MCTS(Monte Carlo Tree Search)를 결합하여, 검증 성능을 유지하면서도 어설션의 개수를 최대 76.2%까지 줄여 시뮬레이션 효율을 대폭 향상시킵니다.

핵심 포인트

• 2단계 어설션 클러스터링을 통한 대규모 어설션 세트의 정확한 의미론적 분류
• MCTS를 활용하여 최적의 어설션 감소 규칙 적용 시퀀스 탐색
• 형식적 커버리지와 변이 탐지 능력을 보존하며 어설션 개수 최대 76.2% 감소
• 시뮬레이션 시간을 기존 대비 2.6배에서 최대 6.1배까지 단축