RISC结构的IP核验证与测试