Design of TSC code-disjoint inverter-free PLA's for separable unordered codes
S.J. Piestrak · 2002
This paper considers design of totally self-checking (TSC) code-disjoint (CD) PLA's under fault model which covers three classes of typical PLA faults. The inputs of a PLA are encoded with a separable unordered code and any PLA is inverter-free, which guarantees that it is crosspoint-irredundant and no bridging fault may cause undetected errors. The new optimal separable unordered codes are constructed which, unlike most Berger and equivalent codes, are closed-a prerequisite for a TSC/CD realization of a PLA. A general procedure for designing a fast 2-stage PLA self-testing checker for any optimal separable unordered closed code is given. The design approach presented here can be readily used to design non-PLA circuits as well.>