李东海
- 作品数：12 被引量：14H指数：2
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 考虑串扰因素的可逆电路的符号综合方法被引量：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年
- 随着超大规模集成电路设计复杂度日益增加,工艺参数变动对电路性能(如速度和功耗)的影响越来越大.文中建立了一个层次化电路时延和漏功耗分析模型;将海森矩阵的概念引入到二次模型中,并建立改进的二次模型;将电路的时延和漏功耗的对数统一用改进的二次模型拟合;将该模型应用于层次化电路时延和漏功耗分析.提出一种新颖的基于相关系数-海森矩阵的面向性能的参数约简方法,减小了计算规模,既考虑了工艺参数之间的依赖关系,又考虑到它们与高层次之间的关系,从而提高了性能预算的精确度.实验结果表明了该方法的有效性和精确性.
- 胡靖马光胜李东海冯刚
- 关键词：时延
- 高级综合十年进展被引量：1
- 2007年
- 介绍EDA领域中的一个重要方向高级综合最近十年的进展情况,并对以前的工作做了简单的回顾。对各个有代表性的算法进行了描述,并且对这些算法的基本思路进行了分析和总结。对最近出现的一些新的研究热点也进行了阐述和分析,并对以后的发展做了一个展望。提出了一些待研究解决的问题。
- 王冠军马光胜刘晓晓李东海
- 关键词：电子设计自动化
