마이크로프로세서 검증을 위한 가상 컴퓨터 시스템의 개발