Title: RISC microprocessors VR4000/VR3600 user's manual hardware