基于约束的处理器接口随机测试模型  

Constraint-based Random Test Model for Microprocessor Interface Unit

作　　者：郇丹丹[1] 李祖松[1] 刘志勇[1] 

机构地区：[1]中国科学院计算技术研究所

出　　处：《计算机工程》2007年第15期227-229,共3页Computer Engineering

基　　金：国家自然科学基金杰出青年基金资助项目(60325205);国家"863"计划基金资助重点项目(2002AA110010;2005AA110010;2005AA119020);国家"973"计划基金资助项目(2005CB321600)

摘　　要：提出了一种处理器接口测试模型,并给出了具体实现方案。该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法。结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证。This paper proposes a test model and implement scheme of microprocessor interface unit. Random test method is adopted in this model, and constrained random test is used in stimulus generation. Experimental results show that the constrained random test model can achieve 83.68% functional coverage and accomplish functional verification of microprocessor interface unit efficiently.

关 键 词：接口 功能验证 仿真 约束随机测试 覆盖率 龙芯2号 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]