检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《微电子学与计算机》2012年第7期103-106,111,共5页Microelectronics & Computer
基 金:国家"八六三"计划项目(2008AA010704)
摘 要:随机测试程序生成技术是当前处理器功能验证中一项重要的支撑技术.本设计面向一种专用指令集处理器FlexEngine,在指令集模型建立时,按功能分类,实现对处理器关键单元的选择性测试;引入ISS对指令执行的动态数据分析,增加了寄存器数据范围监控、死循环预警等指令约束.实验结果表明,本设计的选择性测试功能,能够在3000条程序的测试长度下,对关键模块达到超过90%的覆盖率,有效提高了测试效率.Random test program generation is an important supporting technology for the function verification of processors.We design an efficient random test program generator for FlexEngine,an ASIP.We create the instruction set model by classifying instructions according to the function,which enable it test the key modules of FlexEngine selectively.Additionally,the traditional static constraints are strengthened by ISS,which analyze data dynamically.So,we add some accurate constraints,such as monitoring the range of register data,warning the endless loop.Experimental results show that the ATPG can test FlexEngine efficiently,which achieves high coverage beyond 90%,when the length of test program is only 3000.
分 类 号:TP302.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117