文献类型：期刊文章

作　　者：谢峥[1] 王腾[1] 雍珊珊[1] 陈旭[1] 苏吉婷[1] 王新安[1]

机构地区：[1]北京大学深圳研究生院集成微系统科学工程与应用重点实验室,深圳518055

出　　处：《北京大学学报（自然科学版）》

基　　金：深圳市科技计划基础研究(JCYJ20120614150044545)资助

年　　份：2014

卷　　号：50

期　　号：2

起止页码：221-227

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CAS、CSCD、CSCD2013_2014、EI、IC、INSPEC、JST、MR、PROQUEST、RCCSE、RSC、SCOPUS、WOS、ZGKJHX、ZMATH、ZR、核心刊

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

关 键 词：UVM  面向方面建模 智能验证  领域知识重用  验证自动化  

分 类 号：TN47]