|
109 00001111 Ф10010011 10011100, который соответствует значению информационных разрядов сдвинутых влево. Действительно при сдвиге информационных разрядов рассматриваемого примера имеем: 1110. Соответственно матрица информационных разрядов имеет вид: 11 0 10 1, для которой имеем набор значений контрольных разрядов: 10011100. Свойство 3.10. Сложение по mod2 исходного значения контрольных разрядов с значением поправки при сдвиге вправо (влево) даст правильное значение контрольных разрядов при сдвиге информационных разрядов. Данное операцию сдвига и при этом обнаруживать и исправлять, возникающие ошибки по правилам предла гаемого метода кодирования 3.4.3 Разработка способа коррекции ошибок при выполнении логической операции ИЛИ Рассмотрим основные положения способа контроля операции ИЛИ на примере. Допустим, требуется выполнить логическую операцию ИЛИ относительно двух четырех разрядных числа: А=0101 и В хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООП 01101100. При выполнении операции ИЛИ для информационных разрядов и ело |
98 • обнаруживать максимальное количество ошибок (за исключением ошибок, трансформируемых в разрешенные кодовые наборы); • корректировать ошибочную работу сумматора (информационных разрядов) по сформированным значениям контрольных разрядов (кратность исправляемой ошибки до /с-1) по правилам исправления ошибок ЗУ; • обнаруживать и исправлять ошибки произвольной конфигурации в контрольных разрядах (передаются контрольные разряды, полученные в результате кодирования результата суммы); • сигнализировать о возникновении некорректируемых ошибок. 3.3. Разработка функционально-кодовой защиты процессора при выполнении логических операций 3.3.1. Разработка способа коррекции ошибок при выполнении операции сложенЬя по mod 2 Рассмотрим основные положения способа контроля операции сложения по mod2 на примере. Допустим, требуется сложить два четырех разрядных числа: А=0101 и В=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае, из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 0101 0101, А число В поступает в виде: ООП ОНО 1100. При выполнении операции сложения по mod2 информационных и контрольных разрядов рассматриваемых слагаемых, получим кодовый набор 0110 0011 1001. Информационная матрица полученного результата имеет вид: 01 1 10 1 101 Соответственно матрица информационных разрядов имеет вид: 11 0 10 1, для которой имеем набор значений контрольных разрядов: 10011100. Свойство 3.10. Сложение по mod2 исходного значения контрольных разрядов с значением поправки при сдвиге вправо (влево) даст правильное значение контрольных разрядов при сдвиге информационных разрядов. Данное свойство позволяет контролировать операцию сдвига и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.3. Разработка способа коррекции ошибок при выполнении логической операции ИЛИ Рассмотрим основные положения способа контроля операции ИЛИ на примере. Допустим, требуется выполнить логическую операцию ИЛИ относительно двух четырех разрядных числа: А=0101 и В=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООП 01101100. При выполнении операции ИЛИ для информационных разрядов и сложения по mod2 контрольных разрядов рассматриваемых слагаемых получим кодовый набор 0111 00111001, у которого значения контрольных разрядов отличаются от правильного набора контрольных разрядов 00001111 для полученного значения информационных разрядов 0111. Для формирования поправки построим матрицу поправок, используя операцию логическую И относительно информационных разрядов рассмат 102 риваемых операндов, в результате получим кодовый набор: 0001 (операция И выполняется для младших разрядов операндов). В этом случае матрица поправок операции ИЛИ имеет вид: ООО 01 1 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00110110. Свойство 3. 11. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции ИЛИ, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 00111001 ©00110110 00001111, который является правильным для кодового набора 0111, полученным в результате логической операции ИЛИ, что позволяет контролировать операцию ИЛИ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.4. Разработка способа коррекции ошибок при выполнении логической операции И Рассмотрим основные положения способа контроля операции И на примере. Допустим, требуется выполнить логическую операцию И для двух четырех разрядных числа: А=0101 и 13=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООН 01101100. |