計算結果の誤りを検出する手法。左は回路の二重化。2つの同じ回路で出力を比較する。信頼性は高いものの、コストがかさむ。右は符号化。誤りを検出する符号を元データに追加して入力する。出力を復号して不良の有無を確認する。二重化に比べ、コストの増加を抑えられる。IRPS 2026の講演スライドから(講演番号KN4)
