您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(2010NQA28)

作品数：1 被引量：0H指数：0
相关作者：周勇童敏明赵莹王冠军更多>>
相关机构：中国矿业大学更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性检验
  • 1篇等价性验证
  • 1篇电路
  • 1篇虚假
  • 1篇时序电路
  • 1篇SEC
  • 1篇MINI

机构

  • 1篇中国矿业大学

作者

  • 1篇王冠军
  • 1篇赵莹
  • 1篇童敏明
  • 1篇周勇

传媒

  • 1篇计算机工程

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Mining-SEC方法的电路等价性验证
2014年
针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合，利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束，不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系，通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明，该方法可以快速地实现验证收敛，得到平均1-2．个量级的验证加速，并且可以有效消除虚假验证。
王冠军童敏明周勇赵莹
全选 清除 导出
共1页<1>
聚类工具0