您的位置： 专家智库 > >

黑龙江省自然科学基金(F200829)

作品数：3 被引量：0H指数：0
相关作者：周屹杨洋范德会马光胜更多>>
相关机构：黑龙江工程学院哈尔滨工程大学更多>>
发文基金：黑龙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 2篇等价
  • 2篇等价性验证
  • 1篇等价性
  • 1篇电路
  • 1篇多项式
  • 1篇系统架构
  • 1篇集成电路
  • 1篇架构

机构

  • 2篇黑龙江工程学...
  • 1篇哈尔滨工程大...

作者

  • 2篇周屹
  • 1篇马光胜
  • 1篇范德会
  • 1篇杨洋

传媒

  • 2篇黑龙江工程学...
  • 1篇哈尔滨理工大...

年份

  • 1篇2010
  • 2篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于多项式符号代数的数据通路模型
2009年
当前所研究的集成电路已经越来越趋于复杂化,伴随着这个变化,需要在设计流程的早期进行良好的功能正确性验证。将多项式代数符号方法应用于高层次数据通路的研究中,通过字级多项式实现寄存器和传输级之间的等价性验证,从多项式集合公共零点的角度定义高层次数据通路的功能等价,通过验证数据证明形式验证与等价验证的正确性。
周屹杨洋范德会
等价性验证系统的研究与设计
2010年
等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法，其核心目标是验证两个设计模型之间的功能等价性。以集成电路等价性验证系统的系统架构为主要研究内容，在分析集成电路等价性验证的基础上，对系统架构和算法进行设计和探讨。
周屹王浩
关键词：等价性验证系统架构集成电路
基于WGL模型的等价性验证
2009年
等价性验证在集成电路设计中占有重要地位.然而,传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点在介绍了WGL模型的基础上,给出基于该模型的等价性验证算法,并对比传统的BDD模型进行实验.实验结果表明算法是有效的.
范德会马光胜
关键词：等价性验证
全选 清除 导出
共1页<1>
聚类工具0