论文部分内容阅读
处理器验证是验证工作中最重要也是时间开销最大的部分。文中提出了一种基于仿真的微处理器验证方法，以伪随机算法为主自动生成测试向量，实现了验证的自动化和验证环境的可重用性。并在此基础上引入神经网络算法，提高了整个验证过程的自动化程度和效率。通过一款DSP处理器的验证结果表明，该方法确实提高了微处理器功能验证的有效性和完备性。