您的位置： 专家智库 > >

邵明

作品数：1 被引量：0H指数：0
供职机构：新思科技synopsys更多>>
发文基金：浙江省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性
  • 1篇等价性检验
  • 1篇电路
  • 1篇集成电路
  • 1篇层次化

机构

  • 1篇浙江林学院
  • 1篇新思科技sy...

作者

  • 1篇曾松伟
  • 1篇李光辉
  • 1篇邵明

传媒

  • 1篇微电子学与计...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于存储元素映射的层次化等价性检验方法
2009年
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.
李光辉曾松伟邵明
关键词：集成电路等价性检验
全选 清除 导出
共1页<1>
聚类工具0