多线程向量浮点部件的验证方法

【摘要】：浮点部件的验证一直以来都是处理器验证中的一个热点和难点,本文针对多线程架构下的浮点向量部件,基于IEEE754-2008标准,提出了一种较为完善和高效的验证方法。包括验证的内容、多线程验证程序的设计和测试数据的构造。研究了向量浮点部件的异常测试,并在NC-verilog环境下得出了验证的覆盖率统计情况。

下载App查看全文

下载全文更多同类文献论文一键排版服务>>

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	李刚;师颖;刘兴堂;胡小江;;基于神经网络的复杂仿真系统验证方法[J];计算机仿真;2011年08期
2	张国春;张宪;;面向体系对抗仿真的毁伤模型建模框架研究[J];系统仿真学报;2011年S1期
3	彭立影;熊菊水;;平均严重故障间隔时间验证方法研究[J];电子产品可靠性与环境试验;2011年03期
4	王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期
5	佟佳慧;叶思染;;高频信号一致性比较方法研究[J];计算机仿真;2011年07期
6	;德州仪器最新TMS320C66x DSP实现业界最高定点与浮点性能[J];电源技术应用;2010年12期
7	罗婷;郭渊博;郝耀辉;;基于ACSL的密码软件形式化验证方法[J];信息安全与通信保密;2011年07期
8	张立明;曾海林;赵剑;欧阳丹彤;何丽莉;;结合约束满足消除误判的等价性验证方法[J];吉林大学学报(工学版);2011年05期
9	胡素华;;Intel的劲敌——AMD K6[J];实用电子文摘;1997年10期
10	文良;刘佑宝;吴龙胜;;基于eRM建立自动化的验证平台[J];现代电子技术;2011年12期
11	陈颖莹;;新年伊始 TI加强C2000系列在PLC领域实力 TMS320F2806x Piccolo MCU能为可再生能源、PLC与电机控制提供浮点内核[J];电子技术应用;2011年02期
12	罗莉;何鸿君;徐炜遐;窦强;;面向SOC芯片的跨时钟域设计和验证[J];计算机科学;2011年09期
13	;Concerto F28M35x系列微控制器的特性与优势[J];电子设计工程;2011年13期
14	何朝军;李哲英;;数字电路IP软核任务流方法验证[J];电子测量技术;2011年08期
15	吴晓燕;吴静;滕江川;陈永兴;;基于后验概率SVM的仿真模型验证方法[J];计算机应用研究;2011年07期
16	仝敏;徐晓光;;操作系统ARINC653标准符合性验证方法的研究[J];航空计算技术;2011年04期
17	常春贺;杨江平;王杰;;雷达装备测试性验证及应用研究[J];计算机测量与控制;2011年08期
18	侯超;彭大芹;曾俊威;;利用VMM搭建NAND Flash控制器验证平台[J];广东通信技术;2011年06期
19	张戈;雷英杰;薛梅;安和平;;直觉模糊综合评判在多源告警校验中的应用研究[J];小型微型计算机系统;2011年07期
20	张忠秋;董云卫;张雨;张凡;;基于Coq的微内核操作系统程序验证方法研究[J];计算机测量与控制;2011年08期

中国重要会议论文全文数据库

前10条

1	闵银皮;倪晓强;邢座程;;多线程向量浮点部件的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年
2	姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
3	郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
4	刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年
5	张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集（A辑）[C];2009年
6	陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
7	边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
8	萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年
9	邓学良;何冬燕;潘德炉;孙照渤;;中国海域MODIS气溶胶光学厚度检验分析[A];中国气象学会2008年年会大气环境监测、预报与污染物控制分会场论文集[C];2008年
10	林涛;;中国产业集群研究中的主体能动性与多方验证方法[A];中国地理学会2006年学术年会论文摘要集[C];2006年

中国博士学位论文全文数据库

前10条

1	陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
2	曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
3	刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
4	赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
5	杜学亮;定制指令与协处理器加速机制的研究[D];中国科学技术大学;2009年
6	杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
7	姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
8	孙天亮;三端口Ethernet接口IP核的设计、验证方法研究及IAD专用SoC的研制[D];电子科技大学;2003年
9	杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
10	姜忠鼎;基于深度全景视频的虚拟场景绘制技术研究[D];浙江大学;2004年

中国硕士学位论文全文数据库

前10条

1	贾亮;基于覆盖率驱动的自动化验证平台实现[D];西安电子科技大学;2011年
2	张晓宇;基于ASP.NET Web MIS安全体系中的验证和授权[D];吉林大学;2006年
3	李炎琨;基于VMM验证方法的研究[D];西安电子科技大学;2010年
4	王芳;基于VMM覆盖率导向验证方法的研究和应用[D];哈尔滨工程大学;2011年
5	万上宏;基于重用验证方法学的信道重编码系统功能验证研究[D];华南理工大学;2011年
6	李丛;LEON3浮点部件控制器的研究与实现[D];大连理工大学;2010年
7	李青;典型网络安全事件模拟的真实性验证方法研究[D];哈尔滨工业大学;2011年
8	高红霞;基于高级验证语言的IP验证方法[D];电子科技大学;2012年
9	邓爱东;基于验证方法学的IC验证平台研究[D];武汉邮电科学研究院;2009年
10	罗雪苟;COFDM传输系统IFFT/FFT算法研究与FPGA实现[D];西安电子科技大学;2002年

中国重要报纸全文数据库

前10条

1	;如何自定义用户身份验证方法？[N];网络世界;2007年
2	记者周颖;大力提倡科学验证方法[N];中国中医药报;2000年
3	孙昭友夏敏;浅议采购产品的抽样验证方法[N];中国国门时报;2004年
4	陈先勇;几种主流的验证技术[N];计算机世界;2007年
5	清水编译;如何对WLAN实行强验证[N];计算机世界;2006年
6	飘零雪;打假网上行[N];中国电脑教育报;2005年
7	;新型身份验证：图形密码[N];中国计算机报;2006年
8	清水编译;让身份验证更智能[N];计算机世界;2006年
9	计算机世界实验室盘骏;实力的证明[N];计算机世界;2011年
10	001pc.com;按应用需求选择CPU[N];中国计算机报;2001年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南