PLA Implementation of k-out-of-n Code TSC Checker

Abstract

PLA implementations of totally self-checking (TSC) checkers for k-out-of-n codes, where 2 ≤k ≤ n -2, are presented. For k-out-of-2k, k-out-of-2k + 1, k + 1-out-of-2k + 1, and k ± 1-out-of-2k codes, TSC checkers are designed using only one PLA. TSC checkers for all other codes are designed using 2 PLA's, and in fact the second PLA is very small for most of the codes.