首页> 中文会议>第十五届计算机工程与工艺年会暨第一届微处理器技术论坛 >多线程向量浮点部件的验证方法

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第十五届计算机工程与工艺年会暨第一届微处理器技术论坛》|2011年|119-123|共5页
会议地点成都
作者
Min Yinpi; 闵银皮; Ni Xiaoqiang; 倪晓强; Xing Zuocheng; 邢座程;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类运算器和控制器（CPU）;
关键词
向量浮点部件; 多线程共享; 结构模型; 功能验证;

相似文献

中文文献
外文文献
专利

1. 浮点乘加部件延迟对浮点性能影响的研究 [J] . 何军 ,田增 ,郭勇 . 计算机工程 . 2013,第007期
2. 云计算环境下浮点和整数同时多线程资源配置方法研究 [J] . 崔嘉 . 科学技术与工程 . 2017,第023期
3. 多线程向量处理器中向量数据存储结构的设计与实现 [J] . 王永文 ,陈微 ,郑倩冰 . 计算机研究与发展 . 2012,第0z1期
4. 多线程程序数据竞争检测和验证方法研究综述! [J] . 禹振 ,杨振 ,苏小红 . 智能计算机与应用 . 2017,第003期
5. 多线程程序数据竞争检测和验证方法研究综述 [J] . 禹振 ,杨振 ,苏小红 . 智能计算机与应用 . 2017,第003期
6. 浮点部件验证方法研究 [C] . 石嵩 ,菅陆田 ,宁永波 . 全国抗恶劣环境计算机第二十五届学术年会 . 2015
7. 浮点单元设计验证方法研究 [A] . 周汇 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号