梁业伟
- 作品数:13 被引量:22H指数:3
- 供职机构:北京工业大学计算机学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:电子电信自动化与计算机技术更多>>
- 测试码生成简述
- 1995年
- 测试码生成简述中国科学院计算所CAD开放实验室梁业伟北京计算机学院一、测试基本概念数字电路的测试有电性能测试和逻辑测试。逻辑测试的目的是检查电路的逻辑性能是否完好,是否存在逻辑故障。逻辑性能不完好,有错误,则说明存在逻辑故障。这里谈的是逻辑性能,不是...
- 梁业伟
- 关键词:数字电路
- 逻辑验证自身的特点及其利用被引量:1
- 1999年
- 杨志娟梁业伟石茵魏道政
- 关键词:数字系统逻辑验证
- 各种故障传送方法本质演进的剖析
- 梁业伟杨志娟
- 关键词:计算机辅助测试电路分析故障检测
- 对数字电路扇出的影响和造成困难的分析被引量:10
- 2000年
- 提出一种在 Benchmark电路中存在的隐式扇出和描述实际组合电路中扇出的一种方法 .从 D传送、赋值和冗余、难测故障等方面 ,对扇出的影响造成的困难进行了分析 ,并叙述了其影响的范围和程度 .
- 梁业伟杨志娟石茵魏道政
- 关键词:扇出数字电路
- 从数字电路测试和验证的角度看软件测试和验证
- 中提出软件验证和硬件骓是对应的,但软件测试并不对应于硬件测试。还提出软推卸验证自身的特点:它的对象是设计,可以利用设计中所有的信息资料,可以深入设计内部分而治之。从而使得原来很难的软件验证工作变得容易多了。
- 梁业伟杨志娟石茵魏道政
- 关键词:数字集成电路软件测试硬件测试逻辑验证
- 对数字电路扇出的影响和造成困难的分析
- 提出一种在Benchmark 电路中存在的隐工扇出和描述实际组合电路中扇出的一种方法。 从D传送、赋值和冗余、难测故障等方面,对扇出的影响造成的困难进行了分析,并叙述了其影响的范围和程序。
- 梁业伟杨志娟石茵魏道政
- 关键词:数字集成电路
- 组合电路结构分析程序和测试码产生
- 杨志娟梁业伟
- 关键词:电路分析
- 测试难易程度的进一步剖析
- 杨志娟梁业伟
- 关键词:计算机辅助测试电路参数测量
- 从结构角度对微处理机进行功能测试
- 1990年
- 文中提出了一般用户从结构角度对微机处理机进行功能测试的实用方法。用户把从手册等资料中收集到的信息绘制出一个测试用的逻辑结构功能框图,该框图以运算部件为中心,标出了主要部件和数据通道。测试根据这个框图来进行,基本故障模型为单个可检测的s.a.0(1)。如果实践认为确有必要,在局部范围内可扩大该故障模型。
- 梁业伟
- 关键词:微处理机
- 从数字电路测试的角度看模拟电路测试
- 1997年
- 1 前言我们长期从事数字电路测试的研究,并几次参与模拟电路这方面的讨论,导致想对二者进行比较,提出如下几个问题:对当今的模拟电路来说,是否和数字电路一样:“检测”比“故障定位”相对更重要?对模拟电路是否功能测试更容易?为了便利测试,模拟电路是否应建立恰当的故障模型?下面就这些问题稍加展开,谈一下我们的看法,以抛砖引玉。
- 杨志娟梁业伟
- 关键词:数字电路模拟电路