Исследование надежностных характеристик различных методов резервирования комбинационных схем с помощью метода инжектирования ошибок

Материал из Модулярная арифметики
(Различия между версиями)
Перейти к: навигация, поиск
 
(не показаны 8 промежуточных версий 1 участника)
Строка 256: Строка 256:
 
Для оценки надежностных характеристик исследуемых схем был использован метод инжектирования ошибок. Метод является стохастическим и симуляционным. Это означает что он является вероятностным и опирается на современные средства моделирования. В нашем случае это пакет ModelSim.  
 
Для оценки надежностных характеристик исследуемых схем был использован метод инжектирования ошибок. Метод является стохастическим и симуляционным. Это означает что он является вероятностным и опирается на современные средства моделирования. В нашем случае это пакет ModelSim.  
 
Основная идея заключается в следующем: модифицировать схему таким образом, чтобы появилась возможность контролировать процесс внедрения ошибок в схему в процессе моделирования.
 
Основная идея заключается в следующем: модифицировать схему таким образом, чтобы появилась возможность контролировать процесс внедрения ошибок в схему в процессе моделирования.
[[Изображение:fault_injection.jpg]]
+
[[Изображение:Fault injection.JPG]]
 +
 
 +
 
 +
Более подробно об используемом методе инжектирования ошибок - [[Метод инжектирования ошибок для оценки надежностных характеристик комбинационных схем]]
 +
== Результаты оценки надежностных характеристик ==
 +
 
 +
* Шум окружающей среды. С17
 +
 
 +
[[Изображение:Env noise c17.JPG]]
 +
 
 +
* Кратные ошибки. С17
 +
 
 +
[[Изображение:Multiple c17.JPG]]
 +
 
 +
* Шум окружающей среды. С432
 +
 
 +
[[Изображение:Env noise c432.JPG]]
 +
 
 +
* Кратные ошибки. С432
 +
 
 +
[[Изображение:Multiple c432.JPG]]
 +
 
 +
 
 +
== Результаты оценки занимаемой площади ==
 +
* Колличество вентилей для различных схем защиты ('''С17''')
 +
<table cellpadding=5 cellspacing=0 border=1>
 +
<tr>
 +
<td>Схема</td>
 +
<td>Число вентилей</td>
 +
<td>Коэффициент увеличения</td>
 +
</tr>
 +
<tr>
 +
<td>Без защиты</td>
 +
<td>9</td>
 +
<td>1</td>
 +
</tr>
 +
<tr>
 +
<td>Поэлементное мажорирование</td>
 +
<td>71</td>
 +
<td>7.8888</td>
 +
</tr>
 +
<tr>
 +
<td>Трехкратное мажорирование</td>
 +
<td>36</td>
 +
<td>4</td>
 +
</tr>
 +
<tr>
 +
<td>3-х битное пр-во Хемминга</td>
 +
<td>217</td>
 +
<td>24.1111</td>
 +
</tr>
 +
<tr>
 +
<td>Пятикратное мажорирование</td>
 +
<td>77</td>
 +
<td>8.5555</td>
 +
</tr>
 +
<tr>
 +
<td>Семикратное мажорирование</td>
 +
<td>107</td>
 +
<td>11.8888</td>
 +
</tr>
 +
<tr>
 +
<td>Девятикратное мажорирование</td>
 +
<td>149</td>
 +
<td>16.5555</td>
 +
</tr>
 +
</table>
 +
 
 +
 
 +
 
 +
* Колличество вентилей для различных схем защиты ('''С432''')
 +
<table cellpadding=5 cellspacing=0 border=1>
 +
<tr>
 +
<td>Схема</td>
 +
<td>Число вентилей</td>
 +
<td>Коэффициент увеличения</td>
 +
</tr>
 +
<tr>
 +
<td>Без защиты</td>
 +
<td>284</td>
 +
<td>1</td>
 +
</tr>
 +
<tr>
 +
<td>Поэлементное мажорирование</td>
 +
<td>2279</td>
 +
<td>8.0246</td>
 +
</tr>
 +
<tr>
 +
<td>Трехкратное мажорирование</td>
 +
<td>877</td>
 +
<td>3.0880</td>
 +
</tr>
 +
<tr>
 +
<td>3-х битное пр-во Хемминга</td>
 +
<td>6742</td>
 +
<td>23.739</td>
 +
</tr>
 +
<tr>
 +
<td>Пятикратное мажорирование</td>
 +
<td>1534</td>
 +
<td>5.4014</td>
 +
</tr>
 +
<tr>
 +
<td>Семикратное мажорирование</td>
 +
<td>2146</td>
 +
<td>7.5563</td>
 +
</tr>
 +
<tr>
 +
<td>Девятикратное мажорирование</td>
 +
<td>2802</td>
 +
<td>9.8661</td>
 +
</tr>
 +
</table>
 +
 
 +
[http://vscripts.ru/res/files/AVF-COF.xlsx Скачать Excel файл с полными результатами исследования]

Текущая версия на 12:24, 8 июля 2014

Содержание

[править] Цель исследования

Целью исследования было сравнение различных методов повышения надежности комбинационных схем а также проверка работоспособности и эффективности метода инжектирования ошибок, а также программы, реализующей этот метод. Для проверки были взяты 6 различных методов, а областью приложения этих методов были выбраны две комбинационные схемы схемы из линейки ISCAS-85.

[править] Выбранные схемы

Для исследования были выбраны две схемы:

  • ISCAS-85 С17
// Verilog
// c17
// Ninputs 5
// Noutputs 2
// NtotalGates 6
// NAND2 6
module c17 (N1,N2,N3,N6,N7,N22,N23);

input N1,N2,N3,N6,N7;

output N22,N23;

wire N10,N11,N16,N19;

nand NAND2_1 (N10, N1, N3);
nand NAND2_2 (N11, N3, N6);
nand NAND2_3 (N16, N2, N11);
nand NAND2_4 (N19, N11, N7);
nand NAND2_5 (N22, N10, N16);
nand NAND2_6 (N23, N16, N19);

endmodule

C17.JPG

  • ISCAS-85 С432
// Verilog
// c432
// Ninputs 36
// Noutputs 7
// NtotalGates 160
// NOT1 40
// NAND2 64
// NOR2 19
// AND9 3
// XOR2 18
// NAND4 14
// AND8 1
// NAND3 1
module c432 (N1,N4,N8,N11,N14,N17,N21,N24,N27,N30,
             N34,N37,N40,N43,N47,N50,N53,N56,N60,N63,
             N66,N69,N73,N76,N79,N82,N86,N89,N92,N95,
             N99,N102,N105,N108,N112,N115,N223,N329,N370,N421,
             N430,N431,N432);

input N1,N4,N8,N11,N14,N17,N21,N24,N27,N30,
      N34,N37,N40,N43,N47,N50,N53,N56,N60,N63,
      N66,N69,N73,N76,N79,N82,N86,N89,N92,N95,
      N99,N102,N105,N108,N112,N115;

output N223,N329,N370,N421,N430,N431,N432;

wire N118,N119,N122,N123,N126,N127,N130,N131,N134,N135,
     N138,N139,N142,N143,N146,N147,N150,N151,N154,N157,
     N158,N159,N162,N165,N168,N171,N174,N177,N180,N183,
     N184,N185,N186,N187,N188,N189,N190,N191,N192,N193,
     N194,N195,N196,N197,N198,N199,N203,N213,N224,N227,
     N230,N233,N236,N239,N242,N243,N246,N247,N250,N251,
     N254,N255,N256,N257,N258,N259,N260,N263,N264,N267,
     N270,N273,N276,N279,N282,N285,N288,N289,N290,N291,
     N292,N293,N294,N295,N296,N300,N301,N302,N303,N304,
     N305,N306,N307,N308,N309,N319,N330,N331,N332,N333,
     N334,N335,N336,N337,N338,N339,N340,N341,N342,N343,
     N344,N345,N346,N347,N348,N349,N350,N351,N352,N353,
     N354,N355,N356,N357,N360,N371,N372,N373,N374,N375,
     N376,N377,N378,N379,N380,N381,N386,N393,N399,N404,
     N407,N411,N414,N415,N416,N417,N418,N419,N420,N422,
     N425,N428,N429;

not NOT1_1 (N118, N1);
not NOT1_2 (N119, N4);
not NOT1_3 (N122, N11);
not NOT1_4 (N123, N17);
not NOT1_5 (N126, N24);
not NOT1_6 (N127, N30);
not NOT1_7 (N130, N37);
not NOT1_8 (N131, N43);
not NOT1_9 (N134, N50);
not NOT1_10 (N135, N56);
not NOT1_11 (N138, N63);
not NOT1_12 (N139, N69);
not NOT1_13 (N142, N76);
not NOT1_14 (N143, N82);
not NOT1_15 (N146, N89);
not NOT1_16 (N147, N95);
not NOT1_17 (N150, N102);
not NOT1_18 (N151, N108);
nand NAND2_19 (N154, N118, N4);
nor NOR2_20 (N157, N8, N119);
nor NOR2_21 (N158, N14, N119);
nand NAND2_22 (N159, N122, N17);
nand NAND2_23 (N162, N126, N30);
nand NAND2_24 (N165, N130, N43);
nand NAND2_25 (N168, N134, N56);
nand NAND2_26 (N171, N138, N69);
nand NAND2_27 (N174, N142, N82);
nand NAND2_28 (N177, N146, N95);
nand NAND2_29 (N180, N150, N108);
nor NOR2_30 (N183, N21, N123);
nor NOR2_31 (N184, N27, N123);
nor NOR2_32 (N185, N34, N127);
nor NOR2_33 (N186, N40, N127);
nor NOR2_34 (N187, N47, N131);
nor NOR2_35 (N188, N53, N131);
nor NOR2_36 (N189, N60, N135);
nor NOR2_37 (N190, N66, N135);
nor NOR2_38 (N191, N73, N139);
nor NOR2_39 (N192, N79, N139);
nor NOR2_40 (N193, N86, N143);
nor NOR2_41 (N194, N92, N143);
nor NOR2_42 (N195, N99, N147);
nor NOR2_43 (N196, N105, N147);
nor NOR2_44 (N197, N112, N151);
nor NOR2_45 (N198, N115, N151);
and AND9_46 (N199, N154, N159, N162, N165, N168, N171, N174, N177, N180);
not NOT1_47 (N203, N199);
not NOT1_48 (N213, N199);
not NOT1_49 (N223, N199);
xor XOR2_50 (N224, N203, N154);
xor XOR2_51 (N227, N203, N159);
xor XOR2_52 (N230, N203, N162);
xor XOR2_53 (N233, N203, N165);
xor XOR2_54 (N236, N203, N168);
xor XOR2_55 (N239, N203, N171);
nand NAND2_56 (N242, N1, N213);
xor XOR2_57 (N243, N203, N174);
nand NAND2_58 (N246, N213, N11);
xor XOR2_59 (N247, N203, N177);
nand NAND2_60 (N250, N213, N24);
xor XOR2_61 (N251, N203, N180);
nand NAND2_62 (N254, N213, N37);
nand NAND2_63 (N255, N213, N50);
nand NAND2_64 (N256, N213, N63);
nand NAND2_65 (N257, N213, N76);
nand NAND2_66 (N258, N213, N89);
nand NAND2_67 (N259, N213, N102);
nand NAND2_68 (N260, N224, N157);
nand NAND2_69 (N263, N224, N158);
nand NAND2_70 (N264, N227, N183);
nand NAND2_71 (N267, N230, N185);
nand NAND2_72 (N270, N233, N187);
nand NAND2_73 (N273, N236, N189);
nand NAND2_74 (N276, N239, N191);
nand NAND2_75 (N279, N243, N193);
nand NAND2_76 (N282, N247, N195);
nand NAND2_77 (N285, N251, N197);
nand NAND2_78 (N288, N227, N184);
nand NAND2_79 (N289, N230, N186);
nand NAND2_80 (N290, N233, N188);
nand NAND2_81 (N291, N236, N190);
nand NAND2_82 (N292, N239, N192);
nand NAND2_83 (N293, N243, N194);
nand NAND2_84 (N294, N247, N196);
nand NAND2_85 (N295, N251, N198);
and AND9_86 (N296, N260, N264, N267, N270, N273, N276, N279, N282, N285);
not NOT1_87 (N300, N263);
not NOT1_88 (N301, N288);
not NOT1_89 (N302, N289);
not NOT1_90 (N303, N290);
not NOT1_91 (N304, N291);
not NOT1_92 (N305, N292);
not NOT1_93 (N306, N293);
not NOT1_94 (N307, N294);
not NOT1_95 (N308, N295);
not NOT1_96 (N309, N296);
not NOT1_97 (N319, N296);
not NOT1_98 (N329, N296);
xor XOR2_99 (N330, N309, N260);
xor XOR2_100 (N331, N309, N264);
xor XOR2_101 (N332, N309, N267);
xor XOR2_102 (N333, N309, N270);
nand NAND2_103 (N334, N8, N319);
xor XOR2_104 (N335, N309, N273);
nand NAND2_105 (N336, N319, N21);
xor XOR2_106 (N337, N309, N276);
nand NAND2_107 (N338, N319, N34);
xor XOR2_108 (N339, N309, N279);
nand NAND2_109 (N340, N319, N47);
xor XOR2_110 (N341, N309, N282);
nand NAND2_111 (N342, N319, N60);
xor XOR2_112 (N343, N309, N285);
nand NAND2_113 (N344, N319, N73);
nand NAND2_114 (N345, N319, N86);
nand NAND2_115 (N346, N319, N99);
nand NAND2_116 (N347, N319, N112);
nand NAND2_117 (N348, N330, N300);
nand NAND2_118 (N349, N331, N301);
nand NAND2_119 (N350, N332, N302);
nand NAND2_120 (N351, N333, N303);
nand NAND2_121 (N352, N335, N304);
nand NAND2_122 (N353, N337, N305);
nand NAND2_123 (N354, N339, N306);
nand NAND2_124 (N355, N341, N307);
nand NAND2_125 (N356, N343, N308);
and AND9_126 (N357, N348, N349, N350, N351, N352, N353, N354, N355, N356);
not NOT1_127 (N360, N357);
not NOT1_128 (N370, N357);
nand NAND2_129 (N371, N14, N360);
nand NAND2_130 (N372, N360, N27);
nand NAND2_131 (N373, N360, N40);
nand NAND2_132 (N374, N360, N53);
nand NAND2_133 (N375, N360, N66);
nand NAND2_134 (N376, N360, N79);
nand NAND2_135 (N377, N360, N92);
nand NAND2_136 (N378, N360, N105);
nand NAND2_137 (N379, N360, N115);
nand NAND4_138 (N380, N4, N242, N334, N371);
nand NAND4_139 (N381, N246, N336, N372, N17);
nand NAND4_140 (N386, N250, N338, N373, N30);
nand NAND4_141 (N393, N254, N340, N374, N43);
nand NAND4_142 (N399, N255, N342, N375, N56);
nand NAND4_143 (N404, N256, N344, N376, N69);
nand NAND4_144 (N407, N257, N345, N377, N82);
nand NAND4_145 (N411, N258, N346, N378, N95);
nand NAND4_146 (N414, N259, N347, N379, N108);
not NOT1_147 (N415, N380);
and AND8_148 (N416, N381, N386, N393, N399, N404, N407, N411, N414);
not NOT1_149 (N417, N393);
not NOT1_150 (N418, N404);
not NOT1_151 (N419, N407);
not NOT1_152 (N420, N411);
nor NOR2_153 (N421, N415, N416);
nand NAND2_154 (N422, N386, N417);
nand NAND4_155 (N425, N386, N393, N418, N399);
nand NAND3_156 (N428, N399, N393, N419);
nand NAND4_157 (N429, N386, N393, N407, N420);
nand NAND4_158 (N430, N381, N386, N422, N399);
nand NAND4_159 (N431, N381, N386, N425, N428);
nand NAND4_160 (N432, N381, N422, N425, N429);

endmodule

C432.gif

[править] Используемые способы повышения надежности

  • Поэлементное мажорирование
  • 3-х кратное мажорирование
  • 5-и кратное мажорирование
  • 7-и кратное мажорирование
  • 9-и кратное мажорирование
  • Кодирование в трехбитном пространстве Хемминга

[править] Метод инжектирования ошибок

Для оценки надежностных характеристик исследуемых схем был использован метод инжектирования ошибок. Метод является стохастическим и симуляционным. Это означает что он является вероятностным и опирается на современные средства моделирования. В нашем случае это пакет ModelSim. Основная идея заключается в следующем: модифицировать схему таким образом, чтобы появилась возможность контролировать процесс внедрения ошибок в схему в процессе моделирования. Fault injection.JPG


Более подробно об используемом методе инжектирования ошибок - Метод инжектирования ошибок для оценки надежностных характеристик комбинационных схем

[править] Результаты оценки надежностных характеристик

  • Шум окружающей среды. С17

Env noise c17.JPG

  • Кратные ошибки. С17

Multiple c17.JPG

  • Шум окружающей среды. С432

Env noise c432.JPG

  • Кратные ошибки. С432

Multiple c432.JPG


[править] Результаты оценки занимаемой площади

  • Колличество вентилей для различных схем защиты (С17)
Схема Число вентилей Коэффициент увеличения
Без защиты 9 1
Поэлементное мажорирование 71 7.8888
Трехкратное мажорирование 36 4
3-х битное пр-во Хемминга 217 24.1111
Пятикратное мажорирование 77 8.5555
Семикратное мажорирование 107 11.8888
Девятикратное мажорирование 149 16.5555


  • Колличество вентилей для различных схем защиты (С432)
Схема Число вентилей Коэффициент увеличения
Без защиты 284 1
Поэлементное мажорирование 2279 8.0246
Трехкратное мажорирование 877 3.0880
3-х битное пр-во Хемминга 6742 23.739
Пятикратное мажорирование 1534 5.4014
Семикратное мажорирование 2146 7.5563
Девятикратное мажорирование 2802 9.8661

Скачать Excel файл с полными результатами исследования


Персональные инструменты
Пространства имён

Варианты
Действия
Навигация