Risc Microprocessor의 Functional Testing에 의한 Test Vector 생성 ( Test Generation of a Risc Microprocessor )