Zhejiang Daxue xuebao. Lixue ban (Jan 2008)
Easily testable network based on positive polarity OR-Coincidence expansion(基于正极性或-符合展开的易测性网络)
Abstract
为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端.对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为(n+4)和(n+ 5).这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间.
Keywords