检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:谢峥[1] 王腾[1] 雍珊珊[1] 陈旭[1] 苏吉婷 王新安[1]
机构地区:[1]北京大学深圳研究生院集成微系统科学工程与应用重点实验室,深圳518055
出 处:《北京大学学报(自然科学版)》2014年第2期221-227,共7页Acta Scientiarum Naturalium Universitatis Pekinensis
基 金:深圳市科技计划基础研究(JCYJ20120614150044545)资助
摘 要:以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整的验证平台。实验结果表明,可重用性得到大幅提升,且测试用例的覆盖率效果提升约7%。With a verification environment based on the UVM (universal verification Methodology) verification methodology and UVMI.1 standard library, building a reference model through the aspect-oriented paradigm and separation of properties of function, timing and structure and generating the high functional coverage test cases based on knowledge base at the transaction level, the integrated verification platform took the PKU-DSPII as example, to implement RISC CPU-oriented functional verification and domain reuse. Experimental results show that the reusability is enhanced significantly and the coverage efficiency of the test cases improves about 7% relatively.
关 键 词:UVM 面向方面建模 智能验证 领域知识重用 验证自动化
分 类 号:TN47[电子电信—微电子学与固体电子学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.129.92.14