사막에서 사자를 잡다: 커버리지 지향 생성 문제 해결 방안

** 본 논문은 현대 복합 시스템(특히 고성능 마이크로프로세서)의 검증 과정에서 가장 큰 병목 중 하나인 “커버리지 클로저” 문제를 해결하기 위한 새로운 접근법을 제시한다. 검증 엔지니어는 수많은 가능한 상태·이벤트 중에서 특정 하드‑투‑히트 이벤트를 찾아내고 이를 테스트해야 하지만, 이벤트와 테스트 파라미터 사이의 매핑이 비선형·비정형적이어서 수작업으로는 비효율적이다. 기존 연구들은 포멀 검증, 강화학습, 데이터 마이닝 등을 시도했지만, 스케일링 문제와 적용 난이도로 산업 현장에서 널리 채택되지 못했다. 저자들은 먼저 테스트 템플릿 t (지시어 가중치 벡터들의 집합)를 정의하고, 이를 통해 확률적 테스트 인스턴스 θ(t) 를 생성한다. 각 인스턴스는 시뮬레이션을 거쳐 이진 히트 커버리지 벡터 s(θ) 를 반환한다. 기대값 e(t)=E