您的位置： 专家智库 > >

霍翔

作品数：1 被引量：3H指数：1
供职机构：北京交通大学计算机与信息技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇电路
  • 1篇组合电路
  • 1篇可满足性
  • 1篇基于SAT
  • 1篇故障字典

机构

  • 1篇北京交通大学

作者

  • 1篇吴为民
  • 1篇付宇
  • 1篇霍翔
  • 1篇姜升

传媒

  • 1篇微电子学

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SAT的组合电路自动测试向量生成被引量：3
2011年
实现了基于可满足性(SAT)求解的方法,以解决固定型和时延故障的自动测试向量生成问题。详细讨论了如何利用电路的拓扑结构以及从ATPG到合取范式(CNF)的编码方法。CNF被输入到一个高效的SAT求解器zchaff中求解。在ISCAS85测试实例中验证了该算法的有效性。
付宇吴为民姜升霍翔
关键词：可满足性故障字典
全选 清除 导出
共1页<1>
聚类工具0