PROGRAMMABLE LOGIC ARRAY.

摘要

Des réseaux logiques programmables incorporés et auto-contrôlables utilisent un générateur de modèles déterministes de contrôle pour générer des modèles de contrôle dans lesquels chaque croisement sur un plan ET peut être évalué. Un registre de signatures à entrées multiples utilisant XQ + 1 comme polynôme caractéristique est utilisé pour évaluer les résulats du contrôle, Q étant le nombre de sorties. La signature finale peut être comprimée davantage jusqu'à un seul bit. Au lieu de simplement déterminer la probabilité de détection de défaillances, dans ce schéma, on a analysé la capacité de détection de défaillances en utilisant les modèles de défaillances dues à des blocages et à des faux contacts. On a démontré qu'on peut ainsi détecter tous ces types de défaillances. Des court-circuits entre deux lignes adjacentes peuvent être détectés en utilisant des portes NI.