您的位置: 专家智库 > >

邓雨春

作品数:3 被引量:9H指数:2
供职机构:清华大学信息科学技术学院自动化系更多>>
发文基金:国家自然科学基金更多>>
相关领域:电子电信更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇电子电信

主题

  • 3篇电路
  • 3篇数字电路
  • 2篇可满足性
  • 2篇布尔可满足性
  • 1篇电路结构
  • 1篇电路设计
  • 1篇电子设计
  • 1篇电子设计自动...
  • 1篇设计自动化
  • 1篇组合电路
  • 1篇微电子
  • 1篇微电子技术
  • 1篇集成电路
  • 1篇集成电路设计
  • 1篇ATPG
  • 1篇层次化

机构

  • 3篇清华大学

作者

  • 3篇邓雨春
  • 3篇杨士元
  • 2篇王红
  • 2篇邢建辉
  • 2篇薛月菊

传媒

  • 1篇哈尔滨工业大...
  • 1篇计算机辅助设...
  • 1篇计算机工程与...

年份

  • 3篇2003
3 条 记 录,以下是 1-3
排序方式:
基于布尔可满足性的组合电路ATPG算法被引量:3
2003年
布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策。通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息。最后给出的实验结果表明了算法的可行性和有效性。
邓雨春杨士元邢建辉
关键词:布尔可满足性组合电路数字电路电子设计自动化电路结构
在形式验证和ATPG中的布尔可满足性问题被引量:2
2003年
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率
邓雨春杨士元王红薛月菊
关键词:数字电路ATPG布尔可满足性
数字电路的层次化测试生成新趋势被引量:5
2003年
与传统的门级测试生成方法相比.数字电路的层次化测试生成方法采用层次化模块的方式,利用不同抽象级的电路信息,包括结构信息和功能信息,有利于加速测试生成,提高故障覆盖率.分析和综述了几类主要的层次化测试生成算法:预先生成低层模块测试法、模块在约束下直接生成全局测试法、高层模块动态展开法、高层软件测试与低层门级结构测试结合法等,并讨论今后有待解决的主要问题.
薛月菊王红杨士元邢建辉邓雨春
关键词:数字电路微电子技术集成电路设计
共1页<1>
聚类工具0