石茵
- 作品数：15 被引量：20H指数：2
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 对实际数字电路中冗余故障的分析被引量：7
- 2001年
- 系统地研究了实际数字电路中冗余故障的特性 .详细深入地分析了 ISCAS85基准电路中 10个组合电路的全部 5 5 0个冗余故障 ,找出了它们各自形成的原因并将其分成 5类 .研究发现其中只有 3个故障是最难测的 ,算法中需要大量回溯 ;其它 5 47个故障只要按照电路结构和测试本身的规律来形成测试 ,则基本上无需回溯即可 .
- 梁业伟杨志娟石茵魏道政
- 关键词：数字电路
- 基于扇出源单故障传播的平行码临界路径跟踪故障模拟被引量：1
- 1995年
- 本文提出了一种快速的组合电路故障模拟方法──基于扇出源单故障传播的平行码临界路径跟踪法．临界路径跟踪法是一种十分快速的、但近似的组合电路故障模拟方法，将其同平行码故障模拟结合起来，其效率被进一步成倍地提高．为使其成为一个完全的算法，对每个非停止线扇出源故障，我们采用了平行码单故障传播法．同时，为加快其速度，本文提出了若干加速技术，用于故障模拟的各个部分．例如，事件驱动、多级活动事件栈、测试码标记向量、扩大的停止线以及平行处理时的捕获线概念等等．本算法已用Ｃ语言在ＳＵＮ４／ＳＰＡＲＣＳＬＣ上实现，文中给出了ＩＳＣＡＳ’８５的１０个组合电路的实验结果．
- 石茵魏道政
- 关键词：故障模拟组合电路
- 逻辑验证自身的特点及其利用被引量：1
- 1999年
- 杨志娟梁业伟石茵魏道政
- 关键词：数字系统逻辑验证
- 集成电路逻辑测试与验证基础技术研究
- 李晓维宫云战向东李华伟何新华王仲石茵崔晓天魏道政
- “集成电路逻辑验证及测试基础技术研究”属于信息科学领域，该项目的特点是立足创新，针对当前国际集成电路测试领域存在的问题，结合我国集成电路测试领域亟待解决的问题，研究逻辑测试和验证方法，该项目的主要成果有提出确定性双码测试...
- 关键词：
- 关键词：集成电路
- 快速的平行码临界路径跟踪故障模拟
- 1996年
- 针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。
- 石茵魏道政
- 关键词：故障模拟
- ＰＡＣＰＴ：加速的临界路径跟踪故障模拟算法
- 石茵魏道政
- 关键词：故障诊断系统故障检测路径损耗
- 时序电路故障模拟的临界跟踪法
- 石茵
- 组合电路故障模拟方法分析
- 石茵魏道政
- 关键词：计算机辅助测试电路分析故障检测
- VLSI设计中逻辑验证方法的研究
- 魏道政石茵梁业伟杨志娟李晓维王仲吕毅姚志江
- 该项目研究VLSI设计中新的、高效率的逻辑验证方法。研究成果包括：（1）利用逻辑模拟方法、结合门级单固定型故障的测试产生来进行设计验证。采用功能级模拟、门级模拟和混合模拟。主要解决由于输入的数据量巨大而造成的模拟时间长、...
- 关键词：
- 关键词：逻辑验证逻辑模拟
- 对数字电路扇出的影响和造成困难的分析被引量：10
- 2000年
- 提出一种在 Benchmark电路中存在的隐式扇出和描述实际组合电路中扇出的一种方法 .从 D传送、赋值和冗余、难测故障等方面 ,对扇出的影响造成的困难进行了分析 ,并叙述了其影响的范围和程度 .
- 梁业伟杨志娟石茵魏道政
- 关键词：扇出数字电路
