Arcane은 하드웨어 설계 검증에 사용되는 어설션 기반 검증(ABV)의 효율성을 높이기 위한 프레임워크입니다.
시맨틱 클러스터링과 MCTS(Monte Carlo Tree Search)를 활용하여 어설션 수를 최대 76.2%까지 줄이면서도 공식 커버리지와 돌연변이 검출 능력은 유지합니다.
Arcane은 Assertionbench 데이터셋에서 최대 6.1배의 시뮬레이션 속도 향상을 보여주었으며, 관련 코드는 https://anonymous.4open.science/r/Arcane1-0A6F/ 에서 확인할 수 있습니다.