首页> 中文会议>第六届中国测试学术会议 >浮点乘加部件的自动化形式验证

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

页面导航

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

摘要

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

著录项

来源
《第六届中国测试学术会议》|2010年|569-574|共6页
会议地点合肥
作者
陈博文; 郭琦; 沈海华;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类可靠性及例行试验;
关键词
浮点运算部件; 形式化方法; 自动化形式验证;

相似文献

中文文献
外文文献
专利

1. 浮点乘加部件的自动化形式验证 [J] . 陈博文 ,郭琦 ,沈海华 . 计算机研究与发展 . 2010,第S1期
2. 基于SIMD部件的四倍精度浮点乘加器设计 [J] . 何军 ,黄永勤 ,朱英 . 计算机科学 . 2013,第012期
3. 浮点乘加部件延迟对浮点性能影响的研究 [J] . 何军 ,田增 ,郭勇 . 计算机工程 . 2013,第007期
4. 浮点乘加部件中有符号数前导o预测算法 [J] . 邹文聪 ,唐祯安 ,王开宇 . 中国集成电路 . 2011,第002期
5. 浮点乘加部件中有符号数前导0预测算法 [J] . 邹文聪 ,唐祯安 ,王开宇 . 中国集成电路 . 2011,第002期
6. 一种多精度混合的浮点乘加部件的设计与实现 [C] . Chen Zhengbo ,陈正博 ,Wu Tiebin . 2018年全国高性能计算学术年会 . 2018
7. 基于FPGA的浮点乘加融合部件的研究及算法 [A] . 罗淑贞 . 2014

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

摘要

著录项

相似文献

相关主题

期刊订阅