您的位置： 专家智库 > >

王瑞

作品数：1 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性验证
  • 1篇电路
  • 1篇组合电路
  • 1篇逻辑
  • 1篇黑盒

机构

  • 1篇兰州大学
  • 1篇西北民族大学

作者

  • 1篇王瑞
  • 1篇岳园
  • 1篇张自强

传媒

  • 1篇微计算机信息

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带黑盒组合电路的等价性验证
2008年
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
王瑞岳园张自强
关键词：等价性验证黑盒
全选 清除 导出
共1页<1>
聚类工具0