一种功能级的可测试性测度

来源 :计算机学报 | 被引量 : 0次 | 上传用户：wintry5

【摘要】

：

本文提出了一种功能级的可测试性测度FLTM(Functional Level Te-stability Measure).针对功能级的故障模型,FLTM引入了数据位可控性与数据通路状态可控性的概念.由于不同的故

【作者】

：

向东魏道政

【机构】

：

中国科学院计算技术研究所CAD开放实验室,中国科学院计算技术研究所CAD开放实验室北京100080,北京100080,北京100080

【出处】

：

计算机学报

【发表日期】

：

1993年1期

【关键词】

：

功能级可测试性测度门电路 Controllability observability testability fault effect observ

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文提出了一种功能级的可测试性测度FLTM(Functional Level Te-stability Measure).针对功能级的故障模型,FLTM引入了数据位可控性与数据通路状态可控性的概念.由于不同的故障效应可观度不一样,文中引入了故障效应可观度的概念.FLTM着重考虑了重汇聚扇出对电路可测性的影响,提出了一种加权的可测度计算方法.

其他文献

面向流水线结构的并行匹配算法

本文提出一种面向流水线计算机的立体视觉并行匹配算法,使立体视觉算法所需的低层视觉信息处理和特征匹配都能在具有高速视频总线的流水线计算机中完成,这样既简化了视觉系统

期刊

立体视觉并行算法面向流水线Stereo vision pipeline parallel algorithm match relaxation.

单用户多媒体创作平台扩充到合作创作平台中的问题

多媒体合作创作是ＣＳＣＷ的一个重要领域，它融合了多媒体技术和计算机通信技术，是高效地创作媒体文档的有效手段。本文提出了将单用户多媒体创作平台扩充为多用户创作平台中存在的问题

期刊

多媒体合作创作多媒体创作计算机协同工作Groupaware shared space private space.

旋转锥体空间中圆柱体群的布局优化

旋转圆锥体空间中不等圆柱体群的布局为人造卫星再入舱布局的简化模型，属带动力性能约束的Packing优化问题，具有NP难度．本文提出了模式迭换法，用以构造布局拓扑模式，形成初始布局

期刊

旋转圆锥体空间动力装填布局优化布局拓扑启发式算法NP-完全问题人造卫星再入舱Dynamic packingheuristic algorith

对称三值逻辑及对称三值CMOS电路

本文从负数表示的研究引入对称三进制系统与对称三值逻辑.基于作者提出的传输函数理论,本文讨论了基本对称三值运算的CMOS电路实现,并已用计算机模拟证明它们具有正确的逻辑

期刊

CMOS电路三值逻辑对称Multivalued logic ternary circuits CMOS circuits.

基于IS距离的交替迭代算法

本文研究的是这样一类问题，找到一个解，使其在满足给定的约束条件下，使某一个目标函数极小．在本文中这个目标函数就是与先验解之间的IS距离．这类问题可以归结为非线性优化问题，为降低求解的难度，本文将问题分解为多个于问题，然后采用一种选代策略，通过交替地求解这些子问题，达到求解原问题的目的．CT图像重建的一个应用例子表明，这种思路是可行的，构造的算法是有效的．

期刊

IS距离约束优化交替迭代算法收敛性及收敛解IS distortion constrained optimization alternative it

磁盘盘片的自由振动

本文介绍了圆环形薄板的振动理论.根据这个理论,编制了计算磁盘盘片振动固有频率的程序.为验证这个理论,实验测量了几种磁盘盘片的固有频率值。实验数据与理论计算结果符合得

期刊

磁盘振动盘片Magnetic disk vibration.

从有分类噪声的随机样例中学习k—判定表

在本文中，我们解决了Ｒｉｖｅｓｔ在［４］中提出的一个悬而未决的问题：证明了在Ｖａｌｉａｎｔ可学习模型下，从带有分类噪声的随机样例中可学习ｋ－判定表。

期刊

分类噪声随机样例k-判定表Machine learninglearning from exampleslearnable theorydecisi

全球人口增长问题

【正】近二十年来,全球的人口增长以及由此导致的许多问题,已经引起了西方国家的学术界和广大民众的普遍关注,究其原因,有几下几点: 1) 人口的增长空前迅速,势头猛烈:每隔35

期刊

全球人口增长世界人口欠发达国家近二十年第三世界国家技术决定论马尔萨斯人类社会人口统计人口计划

适用于SIMD并行算法的存储结构

本文给出一种适用于SIMD并行算法的共享存储器设计方案,它允许多个处理机按相应的同步并行算法并行无存取冲突地存取各自的数据,以满足算法执行的需要,该方案包含两部分,即数

期刊

SIMD并行算法存储器结构SIMD parallel algorithms conflict-free access storing scheme

刺绣画稿创作辅助设计系统DraftDraw的设计与实现

本文描述了刺绣画稿创作辅助设计系统ＤｒａｆｔＤｒａｗ的设计原理和实现技术，系统将计算机图形学，计算机辅助设计和人工智能技术相结合，建立了一套有效的图稿输入，图形生成、编辑、修改等功能，系统

期刊

刺绣画稿DraftDraw图案设计Embroidery patternscomputer aided designpattern basepatte

一种功能级的可测试性测度

与本文相关的学术论文