상위 단계에서의 설계 검증을 위한 회로 추출 시스템