论文部分内容阅读
以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整的验证平台。实验结果表明,可重用性得到大幅提升,且测试用例的覆盖率效果提升约7%。