Interchangeable boolean functions and their effects on redundancy in logic circuits

A new concept of interchangeability of boolean functions under stuck-at faults in logic circuits is introduced in this paper. Two boolean functions F/sub 1/ and F/sub 2/ are said to be interchangeable if there exist two irredundant combinational networks N/sub 1/ and N/sub 2/ realizing F/sub 1/ and F/sub 2/ respectively, such that under some single/multiple stuck-at fault f/sub 1/(f/sub 2/) in N/sub 1/(N/sub 2/), the faulty network realizes F/sub 2/(F/sub 1/). It has been shown that an infinite family of such interchangeable pairs of functions exist, and they play an important role in determining several new types of redundancy in combinational and sequential circuits.

[1]  Bhargab B. Bhattacharya,et al.  Isomorph-Redundancy in Sequential Circuits , 2000, IEEE Trans. Computers.

[2]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[3]  Debesh Kumar Das.  Fault Behaviour and Testable Design of Logic Circuits , 1996 .

[4]  John P. Hayes.  On the Properties of Irredundant Logic Networks , 1976, IEEE Transactions on Computers.

[5]  Susanta Chakraborty,et al.  Logical redundancies in irredundant combinational circuits , 1993, J. Electron. Test..

[6]  Irith Pomeranz,et al.  Classification of Faults in Synchronous Sequential Circuits , 1993, IEEE Trans. Computers.

[7]  A. Sangiovanni-Vincentelli,et al.  Irredundant sequential machines via optimal logic synthesis , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[8]  Alberto L. Sangiovanni-Vincentelli,et al.  Irredundant sequential machines via optimal logic synthesis , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  John P. Hayes,et al.  Transition Count Testing of Combinational Logic Circuits , 1976, IEEE Transactions on Computers.

[10]  K. S. Manjunath,et al.  Transition count testing of CMOS combinational circuits , 1991, [1991] Proceedings. First Great Lakes Symposium on VLSI.

[11]  Stanley L. Hurst,et al.  Spectral techniques in digital logic , 1985 .