近年来,RISC-V指令集获得了全球范围的密切关注和大量企业的加入。各种知名企业、高校纷纷设计了各自的RISC-V处理器。但作为一个新的精简指令集,RISCV指令集处理器的验证却面临着测试集少、双核参考模型不精确、双核一致性验证方式混乱等问题。本文以优化后的BOOM作为研究对象,对功能点、测试激励、判别方式三方面进行了研究和探索,构建验证方案并完成验证。为了弥补原验证平台验证验证进展判断依据的缺失,阅读相关文献和设计代码,设置各个功能点,搭建了功能模型作为判断依据。针对原有测试集无法覆盖到功能角的现状,文中分析了原验证功能覆盖率的不足和真实程序需求,制定受约束随机化的生成策略,实现了六个功能场景,搭建了随机指令生成平台。随机指令生成平台生成的随机指令和定向测试相结合完成了测试激励生成工作。最后针对验证的正确性校验缺失问题,制订了以参考模型比较系统为主,浮点验证子平台和缓存一致性校验为辅的校验方案。针对第三方参考模型无法实现双核指令级精确的问题,参考模型比较系统重构了第三方参考模型,优化了模型的时序精确性,精确高效的完成双核寄存器和PC值的校验。文中研究了前递机制和内部标准转换规则,修正了浮点参考模型,搭建了浮点验证子平台,实现了浮点寄存器的自动化校验和控制信号检查。针对缓存一致性问题,缓存一致性校验系统构建了一套基于BOOM的缓存一致性判别规则,自动对各级缓存中缓存一致性进行校验。相较于原有的单项测试集,随机指令生成平台产生的随机测试的代码覆盖率从79.87%提高到91.92%,功能点覆盖率从62.1%提高到100%。校验系统的仿真速度从600条/min提升到2000条/min。校验方式由指令自检扩展为参考模型比较、一致性断言、浮点校验多种方式结合。同等测试激励下,可判别的BUG从7个提高到21个。验证的效率和完备性大幅提高,满足了验证目标。