国家自然科学基金(69733010)
- 作品数：24 被引量：119H指数：6
- 相关作者：闵应骅李忠诚李华伟骆祖莹杨士元更多>>
- 相关机构：中国科学院清华大学北京化工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 基于布尔过程的组合电路波形模拟被引量：20
- 2001年
- 工作频率高和定时严格是现代集成电路的特点 ,它们要求数字系统模拟器不但可以模拟电路的逻辑行为 ,而且可以精确地模拟电路的定时特性 .文中提出了一个基于布尔过程的波形模拟途径 ,并介绍了它的理论基础、主要算法思想、所采用的技术。
- 李立健闵应骅
- 关键词：组合电路集成电路
- 一种面向测试的RTL行为抽象与蕴含方法被引量：1
- 2002年
- 针对寄存器传输级 (registertransferlevel,RTL)行为的抽象 ,提出了一种层次化的带条件的表示 .这种抽象的行为是面向测试的 ,它不仅表达简单 ,而且能很方便地进行蕴含操作 .通过抽象 ,电路可以规范为行为集 ,并代替电路本身进行功能测试向量的生成 .在测试生成过程中 ,大量地应用蕴含操作可以使其中的行为得到简化 ,并极大地提高了系统的效率 .
- 尹志刚李华伟李晓维
- 关键词：寄存器传输级测试向量集成电路芯片测试
- 具有故障定位能力的健壮故障安全系统被引量：5
- 2000年
- 本文以广义故障安全系统理论、数字电路的并发差错定位概念为基础 ,提出了一种健壮故障安全系统理论 .一个基本健壮故障安全电路是由一个实现电路基本功能的基本功能电路和一个差错定位转换器所组成的 .健壮故障安全电路具有并发差错定位能力 .文中定义了表征健壮故障安全电路和差错定位转换器的基本特性 ;证明了基本功能电路与差错定位转换器互连 ,以构造几种具有不同健壮故障安全特性的基本电路所需满足的条件 ;
- 江建慧施鸿宝
- 关键词：故障定位
- 一种新的CMOS组合电路最大功耗快速模拟方法被引量：3
- 2001年
- 过大的峰值功耗会使芯片承受过大的瞬间电流冲击 ,降低芯片的可靠性及性能 ,因此有效地对电路最大功耗做出精确的估计非常重要 .由于在实际电路中存在时间延迟 ,而考虑延时的电路功耗模型计算量较大 ,因此用模拟方法求取电路最大功耗非常耗时 .为了在尽可能短的时间内对 VL SI电路的最大功耗做出较为可信的估计 ,首次提出了二阶段模拟加速方法 .对 ISCAS85电路集的实验结果表明 。
- 骆祖莹闵应骅杨士元
- 关键词：最大功耗估计超大规模集成电路芯片集成度
- 数字电路并发差错定位的概念与基本结构被引量：3
- 2000年
- 在数字电路的并发差错检测理论的基础上 ,建立了一种并发差错定位数字电路理论 ,它包括并发差错定位电路有关特性的定义、实现基本功能的电路的模块结构及其内部模块之间互连的条件 .数字电路的并发差错定位指的是电路在正常工作条件下 ,无需任何外加用于定位电路故障的输入矢量就能自动定位其内部的故障 .一个基本并发差错定位电路由实现电路基本功能的基本功能模块和实现电路差错定位功能的定位器级联所构成 .系统地定义了表征并发差错定位电路和定位器特性的若干概念 ;证明了基本并发差错定位电路要达到并发差错定位的目标 ,基本功能模块与定位器互连所需满足的条件 ;用具体实例说明了有关概念的应用 .
- 江建慧闵应骅施鸿宝
- 关键词：故障定位数字电路定位器
- 有限状态机的行为阶段聚类及其对测试的应用被引量：10
- 2002年
- 提出了有限状态机的行为阶段和行为阶段聚类的新概念,它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别.给定一个有限状态机的低层描述,可以对它的状态按某种规则进行聚类来简化对有限状态机的分析.给定一个有限状态机的行为描述,可以直接从中提取行为阶段,并通过对行为阶段进行聚类来分析它的功能.详细阐述了对状态或者行为阶段进行聚类的理论和方法.行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中.作为行为阶段聚类描述的一种应用,建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型,并利用对行为阶段的聚类来加速基于此故障模型的测试产生,实现了一个寄存器传输级的自动测试产生系统ATCLUB.实验结果表明,ATCLUB与其他测试产生系统相比有很高的效率,并且能够产生相当短的测试序列,以达到对电路门级固定型故障的较高的覆盖率.
- 李华伟闵应骅李忠诚
- 关键词：有限状态机数学模型时序电路
- 集成电路中冒险的检测和消除被引量：3
- 2002年
- CMOS集成电路中的冒险现象会增大电路的功耗,所以对集成电路中冒险的检测和消除的研究十分重要。文章分别对集成电路中原始输入单跳变,和多跳变两种情况下产生的冒险现象进行了研究,提出了检测和消除冒险的方法。文章的方法可以在非常短的时间内检测出电路中可能产生冒险的点,对于单个原始输入跳变的情况可以通过增加很少的电路开销来消除一部分冒险点。
- 刘国华余潇洋闵应骅李晓维
- 关键词：集成电路CMOS集成电路低功耗设计
- 双倍可变观测点的时滞测试被引量：4
- 1999年
- 随着高速集成电路的发展,对时滞测试的研究越来越重要了,时滞测试的主要困难来自于与电路的门数成指数增长的庞大通路数,以及大量的时滞不可测通路.本文提供了一种使用双倍可变观测点进行时滞测试的方法,保证了只需要测试少量通路就能完成整个电路的时滞测试.它所付出的代价是:对每一个测试向量对,测试仪需要在原始输出采样两次以确定预期跳变的传输时间.此方法所需测试的通路数与被测电路的门数成线性增长关系。
- 李华伟李忠诚闵应骅
- 关键词：IC
- 布尔过程论的实验研究被引量：5
- 2000年
- 布尔过程论是 1994年提出的一种高速电路设计与测试分析理论 ,是布尔代数在时域中的扩充 ,适用于 IC定时研究与分析 .但布尔过程论的实践可行性受到一些国际同行的质疑 ,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实验基础 .文中采用 SPICE软件模拟电路中的电压波形 ,对一些电路例子进行模拟 ,发现模拟结果与用布尔过程论得出的结果是一致的 ,这就以实验验证了布尔过程论 .同时 。
- 于潇洋闵应骅李忠诚吴诚文
- 关键词：集成电路电路分析
- 可信系统与网络被引量：28
- 2001年
- 容错计算学科领域 ,以 IEEE国际容错计算会议为标志 ,发展了 30年之后 ,于 2 0 0 0年定名为可信计算与通信。本文提供一些信息 ,报导一些新情况 。
- 闵应骅
- 关键词：容错计算可信网络计算机
