상위 단계에서의 설계 검증을 위한 회로 추출 시스템 ( Circuit Extraction System for Higher-Ievel Design Verification )