您的位置： 专家智库 > >

李东海

作品数：12 被引量：14H指数：2
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 4篇数据通路
  • 3篇等价
  • 3篇多项式
  • 2篇等价性
  • 2篇多项式函数
  • 2篇时延
  • 2篇逻辑综合
  • 2篇函数
  • 2篇串扰
  • 1篇等价性检验
  • 1篇等价性验证
  • 1篇电路
  • 1篇电子设计
  • 1篇电子设计自动...
  • 1篇调度
  • 1篇调度方法
  • 1篇动态切换
  • 1篇延时
  • 1篇遗传算法
  • 1篇设计自动化

机构

  • 12篇哈尔滨工程大...
  • 2篇曲阜师范大学
  • 1篇清华大学
  • 1篇黑龙江大学
  • 1篇中海石油炼化...

作者

  • 12篇李东海
  • 12篇马光胜
  • 4篇冯刚
  • 3篇李光顺
  • 3篇吴俊华
  • 1篇胡靖
  • 1篇任艳庆

传媒

  • 3篇哈尔滨工程大...
  • 2篇小型微型计算...
  • 2篇计算机辅助设...
  • 1篇电子学报
  • 1篇微电子学
  • 1篇计算机科学
  • 1篇吉林大学学报...
  • 1篇第十四届计算...

年份

  • 5篇2009
  • 4篇2008
  • 2篇2007
  • 1篇2006
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
考虑串扰因素的可逆电路的符号综合方法被引量：6
2008年
目前存在的可逆电路综合方法大多只适用于输入输出相对较小的电路,而且忽略了路径延时的影响,无法应对集成电路日益复杂的趋势.为了使综合方法能够适用于大规模可逆电路,本文采用矩阵模型和符号代数作为理论基础,提出了一种符号综合方法,在考虑面积、延时、串扰等约束下利用成本函数来指导综合过程.实验结果表明利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了10.3%的改善,其路径延时要减少5%到20%之多,并且从CPU时间和存储开销上都显示出该算法的优势,有能力在有效的时间内实现大规模可逆电路的综合.
胡靖马光胜李东海冯刚
关键词：逻辑综合延时串扰
可逆电路的符号综合方法被引量：1
2009年
描述一种基于矩阵模型和符号代数理论的可逆电路的综合方法,其中考虑到面积、时延、串扰等约束.实验结果已清楚地表明了利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了明显的改善,并且其路径时延要减少5%到20%之多.这种综合方法大大的改善了电路的性能,并且对输入输出较多的可逆电路的综合具有潜在的优势.
胡靖马光胜李东海冯刚
关键词：逻辑综合时延串扰
复杂数据流多项式新模型K*TDG及搜索算法
2007年
提出了一种新的多项式模型K*TDG解决复杂数据流的分解搜索问题,其边权值K表明了系统参数之间的紧密程度.对K*TDG、紧密K*TDG和松散K*TDG等概念进行了定义;对K*TDG模型的基本加法运算和乘法运算进行了讨论.在此基础上提出了一种复杂数据流的分解匹配算法.为了降低算法的复杂度,还提出了一种根据复杂元件多项式次数分组的策略.实验结果表明所提出的K*TDG模型能有效地用于复杂数据流的分解和匹配,所提出的算法和策略能使元件的搜索空间平均减少了49%.
李光顺马光胜李东海吴俊华
定点算术数据通路的等价性检验方法被引量：1
2009年
以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Grbner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.
李东海马光胜胡靖
关键词：等价性检验
高层次数据通路的等价性验证方法被引量：2
2008年
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证,提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式,同时给出了该模型的化简、加法和乘法运算规则,基于这些规则对寄存器传输级电路构建其相应有序的、简化的和正则的带权值广义表模型.实验结果表明,该模型对寄存器传输级电路的等价性验证与*BMD相比,不论是在存储空间还是在CPU时间花费上均有明显的优势.
李东海马光胜胡靖
关键词：数据通路
基于泰勒展开图的高层次形式验证
本文提出了泰勒展开图(Taylor Expansion Diagram,TED)中变量替换和变量合并的算法。基于TED的变量替换、变量顺序的调整以及变量的合并算法,给出了一个反向遍历RTL结构实现构造TED的算法,应用于...
李东海马光胜冯刚
文献传递
基于模拟的定点算术数据通路等价性验证
2009年
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。实验结果证明本文提出的方法是有效的。
吴俊华李东海马光胜李光顺
关键词：计算机系统结构数据通路多项式函数
工艺参数波动下的层次化性能分析被引量：3
2008年
建立了一个层次性能分析模型,运用二次模型,直接建立电路的性能参数与工艺参数变动变量之间的函数关系;将海森矩阵的概念引入二次模型,建立了改进的二次模型;将电路的时延和漏功耗的对数统一用改进的二次模型拟合。实验结果表明,该方法提高了性能预算的精确度。
胡靖马光胜李东海
关键词：超大规模集成电路
基于相关系数-海森矩阵的漏功耗分析
2008年
随着超大规模集成电路设计复杂度日益增加,工艺参数变动对电路性能(如速度和功耗)的影响越来越大.文中建立了一个层次化电路时延和漏功耗分析模型;将海森矩阵的概念引入到二次模型中,并建立改进的二次模型;将电路的时延和漏功耗的对数统一用改进的二次模型拟合;将该模型应用于层次化电路时延和漏功耗分析.提出一种新颖的基于相关系数-海森矩阵的面向性能的参数约简方法,减小了计算规模,既考虑了工艺参数之间的依赖关系,又考虑到它们与高层次之间的关系,从而提高了性能预算的精确度.实验结果表明了该方法的有效性和精确性.
胡靖马光胜李东海冯刚
关键词：时延
定点数据通路的等价验证
2009年
以有限环代数为理论基础,提出一个定点数据通路的等价验证算法.该算法能有效地对实现多项式运算的寄存器传输级(register transfer level,RTL)定点数据通路进行等价验证.理论分析表明该算法的时间复杂性优于文献中存在的算法;实验结果表明该算法不论是对等价的数据通路的验证还是对含有故障的数据通路的验证均比已有的算法节省CPU时间.
李东海任艳庆马光胜
关键词：多项式函数数据通路
全选 清除 导出
共2页<12>
聚类工具0