您的位置： 专家智库 > >

任艳庆

作品数：1 被引量：0H指数：0
供职机构：清华大学信息科学技术学院自动化系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇多项式
  • 1篇多项式函数
  • 1篇数据通路
  • 1篇函数

机构

  • 1篇哈尔滨工程大...
  • 1篇清华大学
  • 1篇中海石油炼化...

作者

  • 1篇李东海
  • 1篇马光胜
  • 1篇任艳庆

传媒

  • 1篇小型微型计算...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
定点数据通路的等价验证
2009年
以有限环代数为理论基础,提出一个定点数据通路的等价验证算法.该算法能有效地对实现多项式运算的寄存器传输级(register transfer level,RTL)定点数据通路进行等价验证.理论分析表明该算法的时间复杂性优于文献中存在的算法;实验结果表明该算法不论是对等价的数据通路的验证还是对含有故障的数据通路的验证均比已有的算法节省CPU时间.
李东海任艳庆马光胜
关键词：多项式函数数据通路
全选 清除 导出
共1页<1>
聚类工具0