계층적 설계와 검증 방식을 이용한 32-bit RISC 마이크로프로세서의 ASIC 설계