Derivation of Minimum Test Sets for Unate Logical Circuits
IEEE Transactions on Computers
Detection of Multiple Faults in Combinational Logic Networks
IEEE Transactions on Computers
IEEE Transactions on Computers
Fault Diagnosis of MOS Combinational Networks
IEEE Transactions on Computers
Design of Fail-Safe Sequential Machines Using Separable Codes
IEEE Transactions on Computers
Efficient Design of Self-Checking Checker for any m-Out-of-n Code
IEEE Transactions on Computers
The Complexity of Fault Detection Problems for Combinational Logic Circuits
IEEE Transactions on Computers
On Closedness and Test Complexity of Logic Circuits
IEEE Transactions on Computers
Hi-index | 15.01 |
It is shown that the number of maximal false vertices and minimal true vertices is the minimum number of tests required to detect all s-a-1 and s-a-0 faults in any irredundant two-level realization of a 2-monotonic function.