摘要
IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。
Boundary Scan Technique (BST) is a new and effective way of test and design for testability for VLSI circuits. In order to use BST more efficiently, it is necessary to study the basic theory of boundary scan test thoroughly and precisely. In this paper, A mathematical model of boundary scan test process is set up based on Boolean Matrix theory. Then, by applying the model established, two boundary scan test generation principles are presented. The first one gives the sufficient condition for fault detection in boundary scan test. The second gives the sufficient condition for fault isolation and diagnosis in boundary scan test. The mathematical model and its deduction constitute the theoretical basis of boundary scan test, which can be used in developing test generation algorithms with better property.
出处
《国防科技大学学报》
EI
CAS
CSCD
1999年第5期83-87,共5页
Journal of National University of Defense Technology
基金
国家部委基金
关键词
可测试性设计
边界扫描
测试
数学描述模型
VLSI
design for testability, boundary scan, Boolean matrix, mathematical model, test generation
