상위 수준의 마이크로프로세서 호환성 검증 환경 구현 ( A Compatibility Verification Environment for HDL-modeled Microprocessors )