主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

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

浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.文章给出了一种浮点秉加部件的形式化验证方法.该方法基于BDD和~*PHDD,将设计分为三部分多种情...

陈博文 郭琦... 第六届中国测试学术会议论文集 2010-07-24 中国会议

关键词: 形式化验证 / 运算电路 / 乘加部件 / BDD

下载(25)| 被引(1)

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

浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.给出了一种浮点乘加部件的形式化验证方法.该方法基于B...

陈博文 郭琦... 《计算机研究与发展》 2010年S1期 期刊

关键词: 形式化验证 / 运算电路 / 乘加部件 / BDD

下载(70)| 被引(2)

运算电路形式化验证方法研究  CNKI文献

运算电路模块是当代微处理器的关键组件。微处理器电路设计的验证工作必须确保运算电路模块设计的正确性。当电路复杂度达到一定规模后,传统的仿真验证方法已无法覆盖整个状态空...

王海霞 导师:韩承德 中国科学院研究生院(计算技术研究所) 2004-05-01 博士论文

关键词: 形式化方法 / 模型检验 / 运算电路 / 决策图

下载(415)| 被引(8)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状