收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国重要会议论文全文数据库 前4条
1 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
2 李彩虹;章超;李廉;孙守卿;;分布式同步仲裁器电路的SPIN建模和验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 井亚舟;刘广荣;;EMBCCD时序信号电压转换电路的设计[A];图像图形技术研究与应用2009——第四届图像图形技术与应用学术会议论文集[C];2009年
4 屈婉霞;郭御风;李琼;徐炜遐;;HyperTransport及其验证[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
中国博士学位论文全文数据库 前3条
1 高妍妍;ASIP体系结构形式化建模与验证方法研究[D];中国科学技术大学;2009年
2 王海霞;运算电路的形式化验证方法研究[D];中国科学院研究生院(计算技术研究所);2004年
3 蒋建民;对称与动作细化[D];中国科学院研究生院(成都计算机应用研究所);2006年
中国硕士学位论文全文数据库 前10条
1 戴翔;计算机集群中负载均衡机制的形式化分析[D];河海大学;2006年
2 李彩虹;硬件系统SystemC~(FL)设计模型的SPIN验证[D];兰州大学;2006年
3 张倩;基于可编程逻辑的硬件平台的设计与形式化验证[D];北京交通大学;2009年
4 任秀江;GHz级64位整数算术逻辑运算部件优化设计[D];国防科学技术大学;2008年
5 张子杰;600MHz YHFT-DX移位分支部件的设计与实现[D];国防科学技术大学;2010年
6 张静波;高性能浮点乘加部件的优化设计[D];国防科学技术大学;2007年
7 刘海旭;ARINC 659通信总线的设计与实现[D];北京交通大学;2010年
8 臧得宝;高可靠性微处理器验证技术的研究[D];哈尔滨工程大学;2007年
9 喻仁峰;支持SIMD模式的64位桶形移位器设计[D];国防科学技术大学;2006年
10 陈建梅;基于90nm工艺的整数运算部件设计与优化[D];国防科学技术大学;2009年
中国重要报纸全文数据库 前1条
1 凡华;迎接中量存储时代[N];人民邮电;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978