您的位置： 专家智库 > >

郭琦

作品数：1 被引量：1H指数：1
供职机构：中国科学院计算技术研究所更多>>
发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇点乘
  • 1篇电路
  • 1篇形式化
  • 1篇形式化验证
  • 1篇运算电路
  • 1篇自动化
  • 1篇BDD

机构

  • 1篇中国科学院
  • 1篇中国科学院研...

作者

  • 1篇郭琦
  • 1篇陈博文
  • 1篇沈海华

传媒

  • 1篇计算机研究与...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
浮点乘加部件的自动化形式验证被引量：1
2010年
浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.给出了一种浮点乘加部件的形式化验证方法.该方法基于BDD和*PHDD,将设计分为3部分多种情况分别验证.其优点在于自动化程度高、划分粒度粗、可广泛适用于工业级设计.该方法已应用于龙芯3A浮点乘加部件的验证,验证结果显示出该方法具有良好的时空复杂度.
陈博文郭琦沈海华
关键词：形式化验证运算电路BDD
全选 清除 导出
共1页<1>
聚类工具0