发明名称 Method and device for checking the control signals derived from an instruction of an electronic data processing unit.
摘要 <p>Zur Prüfung, ob die aus einer Instruktion abgeleiteten Operationssteuersignale überhaupt und zu den vorgeschriebenen Zykluszeiten erscheinen, werden die mit ihren Zykluszeitan verknüpften Steuersignale während jeder Zykluszeit des zugehörigen Instruktionszyklus, der im allgemeinen aus mehreren Zykluszeiten besteht, gemäß einer logischen Funktion (z.B. Exklusiv-ODER) in einer logischen Schaltung (107) verknüpft und das Verknüpfungsergebnis in einem ersten Speicherelement (101) zu einer ersten Taktzeit in jeder Zykluszeit zwischengespeichert. Zu einer zweiten Taktzeit während der gleichen Zykluszeit wird das Ergebnis der logischen Verknüpfung vom ersten Speicherelement zu einem zweiten Speicherelement (104) übertragen, von dessen Ausgang das genannte Verknüpfungsergebnis zum Eingang der logischen Schaltung (107) rückgekoppelt wird, so daß es dort, zusammen mit den nächsten, mit ihrer Zykluszeit verknüpften Steuersignalen zur nächsten Zykluszeit erneut verknüpft werden kann. Am Ende der Letzten Zykluszeit des betrachteten Instruktionszyklus ergibt sich ein akkumulierter Wert der logischen Verknüpfungen, der für den tatsächlichen Ablauf der ausgeführten Instruktion characteristisch ist und mit einem vorher bestimmten Wert, der eine korrekte Instruktionsausführung repräsentiert, verglichen werden kann. Bei Abweichungen dieser Werte muß mit einer fehlerhaft ausgeführten Instruktion gerechnet werden.</p>
申请公布号 EP0012794(A1) 申请公布日期 1980.07.09
申请号 EP19790103105 申请日期 1979.08.23
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 BLUM, ARNOLD
分类号 G06F11/00;G06F11/08;G06F11/28;(IPC1-7):06F11/08;06F11/28;06F11/10 主分类号 G06F11/00
代理机构 代理人
主权项
地址