Issue No. 06 - June (1977 vol. 26)
S.G. Papaioannou , College of Engineering, Boston University
The problem of generating tests for the detection or location of permanent logical faults in combinational networks is formulated as a finite sequence of maximization problems in which the maximizing vertices are the desired tests. The formulation is based on the concept of real transform of a Boolean function, while maximization is achieved by pseudo-Boolean PB programming.
Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.
S. Papaioannou, "Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming," in IEEE Transactions on Computers, vol. 26, no. , pp. 553-560, 1977.