Синтез самопроверяемых автоматных сетей в базисе ПЛМ

Рассматривается проблема синтеза самопроверяемых синхронных автоматных сетей в базисе ПЛМ. Самопроверяемость компоненты автоматной сети обеспечивается кодированием внутренних состояний автомата равновесными кодами и удлинением кодов его входных состояний. В результате этого микропрограммное описание функционирования компоненты преобразуется в положительную монотонную систему ДНФ – задание на синтез компоненты. Именно монотонные системы ДНФ обеспечивают монотонный характер проявления одиночных константных неисправностей ПЛМ и входных полюсов автоматной компоненты на выходах компоненты, а также монотонный характер распространения последствий неисправности от места ее возникновения в некоторой компоненте до выходов сети в целом. Это позволяет использовать тестеры только для внешних компонент, выходы которых являются выходами сети, и наблюдать только за выходами этих компонент, не обращая внимания на их внутренние состояния.