切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于约束的处理器接口随机测试模型
基于约束的处理器接口随机测试模型
来源 :计算机工程 | 被引量 : 0次 | 上传用户:lich1234554321
【摘 要】
:
提出了一种处理器接口测试模型,并给出了具体实现方案.该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法.结果表明,基于约束的
【作 者】
:
郇丹丹
李祖松
刘志勇
【机 构】
:
中国科学院计算技术研究所,中国科学院研究生院
【出 处】
:
计算机工程
【发表日期】
:
2007年15期
【关键词】
:
接口
功能验证
仿真
约束随机测试
覆盖率
龙芯2号
interface functional verification simulation constrai
【基金项目】
:
国家自然科学基金杰出青年基金资助项目(60325205),国家"863"计划基金资助重点项目(2002AA110010, 2005AA110010, 2005AA119020),国家"973"计划基金资助项目(2005CB321600)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种处理器接口测试模型,并给出了具体实现方案.该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法.结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证.
其他文献
枣庄学院学生因病就诊情况
为了解枣庄学院在校学生因病就诊特点、规律及主要病因,以便为开展相应的医疗保健服务工作提供科学依据,笔者对2004年7月-2005年6月该学院学生在校医院门诊就诊的资料进行了统
期刊
门诊就医
疾病
学生
基于二维行匹配的输电线路双目测距技术研究
利用双目测距技术获取外破危险物到输电线路的距离,为之后外破危险程度的判断与线路遭受外破概率的评估提供有力数据信息,从而保障线路安全。针对广角镜头下图像成像畸变严重而导致对极误差大的问题,基于目标检测得到的物体位置信息,创新性地运用局部二维行匹配扫描技术,来降低对极误差带来的影响,增加匹配的鲁棒性。同时将全局图像距离的稠密计算降解为目标物的局部稠密计算,提高了双目测距算法在高分辨率监控图像下的实时性
期刊
输电线路监测系统
双目测距
二维行匹配
对极误差
局部稠密计算
transmission line monitoring systembinocular ran
解决大重型工件加工难题
国务院《关于加快培育和发展战略性新兴产业的决定》中提出,到2015年,战略性新兴产业形成健康发展、协调推进的基本格局,对产业结构升级的推动作用显著增强,增加值占国内生产
期刊
工件加工
重型
产业结构升级
国内生产总值
新兴产业
产业形成
国务院
增加值
矛盾型消极依恋对小学生的影响及应对策略
在心理辅导工作实践中,发现来访学生有困难不会求助,人际关系不和谐居多,他们往往注意力不集中,焦虑紧张、怕黑、怕鬼等,呈矛盾型消极依恋症状。本文分析了矛盾型消极依恋形成原因
期刊
矛盾型消极依恋
自我价值
提升注意力
脂质代谢与绝经后女性冠心病严重程度的相关性研究
目的研究血脂代谢在绝经后女性冠心病(CAD)患者中的变化及临床意义,分析血脂与疾病严重程度的相关性。方法收集该院心内科因胸闷、胸痛住院的绝经后女性患者348例作为研究对
期刊
冠心病
绝经后女性
血脂
GENSINI评分
coronary artery diseasepostmenopausal womenlipid profileG
基于模型转换实现行为协议的研究
为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自
期刊
行为协议
UML
元模型转换
OCL
Behavior protocol UML metamodel transformation OCL
底部多孔盒形拉深件模具设计解析
底部多孔盒形拉深件如图1所示。材料:可伐料(4J29);厚度:1mm;高度:7mm。此拉深件加工难点是:底部多小孔且有位置度要求,精度要求高,对工件的表面也有不得有拉深印痕的要求,表面粗糙
期刊
模具设计
拉深件
底部
多孔
表面粗糙度值
解析
精度要求
拉深过程
基于负载的任务运行时间预报模型
由于计算资源具有广域分布、异构、动态等特点,使得计算网格环境下资源管理和调度成为一个非常复杂且具有挑战性的问题。分布式系统的性能度量、分析及预报已变得日益重要,而精
期刊
任务运行时间预报
性能预报
任务调度
计算网格
Task runtime prediction Performance prediction Task sche
粘接工艺在精密轴瓦凹模加工中的应用
我公司外销部在2008年承接了如图1所示轴瓦弯整凹模的生产订单,客户提出新的技术要求,采用硬质合金材质做凹模成形面,单件的使用寿命在50万次以上。本文结合粘接技术在精密轴
期刊
粘接工艺
凹模
轴瓦
加工
应用
粘接技术
硬质合金
半圆弧面
有他在是咱村的福气 访河北承德滦平县周台子村党委书记范振喜
河北承德市滦平县周台子村,虽地处深山,却是一个村集体拥有十几亿元资产、村民年人均纯收入超过1.3万元的富裕村。"这一切,多亏了振喜!"村民口中的"振喜"就是周台子村党委书记范
期刊
党委书记
滦平县
承德市
河北
年人均纯收入
集体经济
村集体
村民
与本文相关的学术论文