收藏本站
收藏 | 论文排版

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

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

知网文化
【相似文献】
中国期刊全文数据库 前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