随着IC技术的不断发展,设计的复杂度和集成度不断提高,验证工作所花费的时间和人力开销越来越大,而其中又以微处理器的验证为最复杂和最困难。近年来,学术领域和业界对验证特别是处理器的验证进行了大量的研究和尝试,对验证方法学不断改进完善,并开发出很多新的验证语言及验证工具,不过其中的核心问题就是如何在保证验证覆盖率的前提下提高验证自动化或者效率。T DSP为自主开发的一款低功耗16位定点DSP,超哈佛多总线结构,六级流水。本文研究和比较了多种常用的功能验证方法和相应的覆盖率的评估,并详细介绍了T DSP项目中自动化验证平台的实现和相应的伪随机测试指令生成器的实现机制,具有很高的自动化和可重用性。另外,在应用伪随机验证方法的前提下,针对大量冗余向量带来的额外时间和计算能力的开销,进行了部分改进,引入了人工神经网络来动态调整待测向量的优先级,有针对性的将优先级最高的向量输出进行验证,并给出了一种可以通用的优先级表示方法,可以独立于待验证微处理器架构和指令集。改进后的方法有效的提高了整个验证平台的自动化和可重用性。