Short Single-Fault Tests for Circuits in the Zhegalkin Basis with Arbitrary Stuck-At Faults of Gates
摘要
Abstract
The problem of implementing Boolean functions by irredundant Boolean circuits in the Zhegalkin basis which admit short single-fault tests in the presence of arbitrary stuck-at faults at gate outputs is considered. It is proved that the Shannon function of the length of a single-fault fault detection (single-fault diagnostic) test does not exceed