您的位置: 专家智库 > >

龙望宁

作品数:6 被引量:18H指数:3
供职机构:清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金:国家自然科学基金中国博士后科学基金更多>>
相关领域:电子电信自动化与计算机技术理学更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 4篇电子电信
  • 1篇自动化与计算...
  • 1篇理学

主题

  • 4篇电路
  • 2篇集成电路
  • 2篇OBDD
  • 1篇电路板
  • 1篇电路综合
  • 1篇遗传算法
  • 1篇蕴涵
  • 1篇数字电路
  • 1篇数字电路板
  • 1篇数字系统
  • 1篇通路
  • 1篇自适
  • 1篇自适应
  • 1篇自诊断
  • 1篇自诊断技术
  • 1篇组合电路
  • 1篇逻辑设计
  • 1篇逻辑综合
  • 1篇基于遗传算法
  • 1篇计算机

机构

  • 5篇清华大学
  • 3篇中国科学院
  • 1篇香港中文大学

作者

  • 6篇龙望宁
  • 3篇闵应骅
  • 3篇杨士元
  • 2篇边计年
  • 2篇薛宏熙
  • 2篇童诗白
  • 1篇李忠诚
  • 1篇洪先龙
  • 1篇吴有亮
  • 1篇贝劲松

传媒

  • 3篇计算机学报
  • 1篇电子学报
  • 1篇清华大学学报...
  • 1篇计算机辅助设...

年份

  • 1篇2000
  • 1篇1999
  • 2篇1998
  • 1篇1997
  • 1篇1996
6 条 记 录,以下是 1-6
排序方式:
一个有效的通路时滞故障测试生成系统DTPG被引量:6
1998年
本文提出了一种两向量测试模式下的通路时滞故障分类,并在此基础上设计并实现了一个有效的通路时滞故障测试生成系统DTPG,该系统可识别强健可测通路、非强健可测通路和功能可敏化通路.DTPG用通路标识值来表示通路,并用一个位表结构的通路信息表来存储通路测试信息.实验结果表明,DTPG在利用内存上是有效的,可以为通路数较大的电路(如C3540)产生时滞测试向量对.
龙望宁闵应骅杨士元李忠诚
关键词:集成电路
OBDD变量排序的自适应选择算法被引量:8
1999年
有序的二叉决策图(OBDD)是形式验证领域的基础技术之一.由于OBDD的大小对变量序非常敏感,使得变量排序问题成为最关键的一个问题.首先将OBDD变量排序问题分解为3 个子问题,定义了若干启发信息,给出了上述子问题的启发式解法;然后提出了一个变量排序自适应选择算法,从若干候选变量序中选出“最佳”的变量序.最后给出了ISCAS85 电路的实验结果.
贝劲松边计年薛宏熙龙望宁洪先龙
关键词:布尔函数OBDD组合电路集成电路
基于蕴涵树的冗余添加和删除技术
2000年
可替换线逻辑综合(如RAMBO)是近年来兴起的一种方法,它采用测试向量自动生成(ATPG)方法来实现冗余添加和删除.但是,频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢.因此,如何减少ATPG过程的调用次数便成为提高这类算法的速度之关键.该文提出一种逻辑蕴涵树来存储节点间的逻辑蕴涵关系,并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选算法.在此基础上形成一个快速的可替换线逻辑变换算法IBAW.实验结果表明,在为目标线寻找可替换线时,IBAW的速度是RAMBO的3.6倍.
龙望宁边计年薛宏熙吴有亮
关键词:逻辑综合电路综合EDA
基于重量分析的OBDD变量排序算法被引量:6
1997年
有序的二叉判决图(OBDD)是布尔表达式的一种有效表示方法,但它的体积对变量排序具有较强的依赖性.本文提出一种电路结构图,并在此基础上定义了原始输入重量和节点重量等参数,并建立了用重量分析来指导的OBDD变量排序算法.由于从考虑变量对输出函数的影响出发与从考虑OBDD节点共享性出发对变量排序的要求不同,本文分别设计了两类算法.实验结果表明,本文对大多数标准电路变量排序的效果都优于国际上的同类算法,尤其是对一些较难排序的电路(如C2670)效果更加突出.
龙望宁杨士元闵应骅童诗白
关键词:OBDD逻辑设计计算机
基于行列奇偶校验和特征分析法的数字系统自诊断技术
1996年
提出一种用行列奇偶校验原理和特征压缩技术实现的数字电路板自诊断技术,讨论 了它对电路板上固定型故障的定位性能。此方案可准确定位电路板上单模块故障和位于同行 或同列的多模块故障,并可将其它多模块故障定位在一个较小的区间里。讨论了故障模块数目 的分布情况,从中可以看到单模块故障和双模块故障出现的概率在所有故障的出现概率中占 有很大比例,因而本方案具有较大的实用价值。
龙望宁杨士元童诗白
关键词:数字电路板
基于遗传算法的TBDD排序方法被引量:2
1998年
带时间参数的二叉判决图(TBDD)在电路的时滞故障测试中有着重要的应用价值,但其变量排序是用常规方法无法解决的一个优化问题.本文提出一种基于遗传算法的TBDD排序算法.用快速衡量值和TBDD节点数来计算个体的适应度,针对变量排序的特定问题,提出一种模板保序交叉方法.采用自适应的变异概率计算方法,并提出一个适合于TBDD排序问题的变异算法.实验结果表明较好地解决了TBDD的排序问题.
龙望宁杨士元闵应骅童诗白
关键词:遗传算法
共1页<1>
聚类工具0