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

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

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

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

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

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

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

前4条

1	陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
2	吴铁彬;刘衡竹;杨惠;张剑锋;侯申;;一种快速SIMD浮点乘加器的设计与实现[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（B辑）[C];2011年
3	王碧文;彭元喜;杨惠;吴铁彬;;一种FA的设计与验证[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年
4	何磊;许盛柯;李树青;方棣棠;;基于DSP并行处理系统的实时语音识别[A];第五届全国人机语音通讯学术会议论文集[C];1998年

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

前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年

中国重要报纸全文数据库

前3条

1	记者郑千里;科学家说：稍安勿躁[N];科技日报;2002年
2	吴鹤龄;不知疲倦的大发明家[N];计算机世界;2000年
3	记者桂运安;首个国产高性能芯片“安徽造”[N];安徽日报;2011年

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