ACTIVITY VERIFICATION SYSTEM FOR MEMORY OR LOGIC.

摘要

Les cartes logiques pour une unité de stockage ou une logique d'ordinateur principal recevant des opérations de demande d'accès à des parties de la mémoire ou de la logique sont divisées en groupes ou éléments. Lorsqu'une opération de demande tente d'avoir accès à l'un des éléments, un signal d'occupation retour émane de cet élément. La structure de la présente invention génère un signal d'occupation prédit qui se produit dans le même temps que le signal d'occupation retour devrait être activé. Le signal d'occupation retour et le signal d'occupation prédit sont comparés dans un nouveau circuit pour vérifier que l'élément effectuant l'opération effectue en fait une opération pendant la tranche de temps prédéterminée autorisée pour effectuer l'opération requise. Des signaux de fautes pour l'invalidation des groupes sont stockés dans un circuit piège de contrôle interne et sont utilisés comme reférences lorsqu'à l'avenir le demandeur fait une nouvelle demande.