收藏本站
《第六届中国测试学术会议论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

浮点乘加部件的自动化形式验证

陈博文  郭琦  沈海华  
【摘要】:浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.文章给出了一种浮点秉加部件的形式化验证方法.该方法基于BDD和~*PHDD,将设计分为三部分多种情况分别验证.其优点在于自动化程度高、划分粒度粗、可广泛适用于工业级设计.该方法已应用于龙芯3A浮点乘加部件的验证,验证结果显示出该方法具有良好的时空复杂度.

【相似文献】
中国重要会议论文全文数据库 前4条
1 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
2 吴铁彬;刘衡竹;杨惠;张剑锋;侯申;;一种快速SIMD浮点乘加器的设计与实现[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(B辑)[C];2011年
3 王碧文;彭元喜;杨惠;吴铁彬;;一种FA的设计与验证[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
4 何磊;许盛柯;李树青;方棣棠;;基于DSP并行处理系统的实时语音识别[A];第五届全国人机语音通讯学术会议论文集[C];1998年
中国重要报纸全文数据库 前3条
1 记者郑千里;科学家说:稍安勿躁[N];科技日报;2002年
2 吴鹤龄;不知疲倦的大发明家[N];计算机世界;2000年
3 记者 桂运安;首个国产高性能芯片“安徽造”[N];安徽日报;2011年
中国博士学位论文全文数据库 前3条
1 黄立波;片上集群体系结构关键技术研究[D];国防科学技术大学;2010年
2 刘峰;浮点乘加中混合算术加法可信性增强关键技术的研究[D];国防科学技术大学;2010年
3 邬贵明;FPGA矩阵计算并行算法与结构[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 张勇慧;低功耗浮点乘加部件的研究与优化[D];北京邮电大学;2012年
2 李杨;高性能面积敏感浮点乘加部件设计及可信性测试体系[D];西安理工大学;2010年
3 王重阳;单、双、扩展精度自适应浮点乘、除和开方运算单元的实现[D];华北电力大学(北京);2011年
4 唐佐侠;基于SOPC的十进制浮点乘法单元的设计与实现[D];云南大学;2011年
5 吴铁彬;面向LTE的高性能向量浮点MAC单元的研究与实现[D];国防科学技术大学;2011年
6 王松;基于FPGA的浮点协处理器IP核设计[D];南京航空航天大学;2010年
7 黄丹连;高吞吐率单双精度可配置浮点乘累加器的设计与实现[D];上海交通大学;2011年
8 段滢;双精度浮点运算单元的设计[D];华南理工大学;2012年
9 傅可威;高性能浮点运算单元设计研究[D];浙江大学;2010年
10 覃霖;基于FPGA的自适应FIR滤波器的实现[D];中国工程物理研究院;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026