[論文レビュー] Boolean Logic with Fault Tolerant Coding

Barış Baykant Alagöz|ArXiv.org|Mar 24, 2009

Quantum Computing Algorithms and Architecture参考文献 2被引用数 3

ひとこと要約

本稿では、1ビットエラーからの自己回復を可能にする追加の冗長性を必要としない3ビットハミング符号を用いた耐障害性のあるブール論理フレームワークを提案する。論理演算をハミング空間に符号化することにより、エラー検出と是正が保証され、基本的なブールゲートが最小限の符号化オーバーヘッドで内在的な耐障害性を備えた形で実装可能であることが示された。

ABSTRACT

Error detectable and error correctable coding in Hamming space was researched to discover possible fault tolerant coding constellations, which can implement Boolean logic with fault tolerant property. Basic logic operators of the Boolean algebra were developed to apply fault tolerant coding in the logic circuits. It was shown that application of three-bit fault tolerant codes have provided the digital system skill of auto-recovery without need for designing additional-fault tolerance mechanisms.

研究の動機と目的

• 1ビットエラーからの自動回復を可能にする耐障害性のある符号化方式を、ブール論理回路に開発すること。
• ハミング空間符号化が論理演算に応用可能かどうかを調査すること。
• 3ビット符号が、組み込みエラー検出および是正機能を備えたブールゲートを実装可能であることを実証すること。
• 故障耐性機構を別途設ける必要をなくし、エラー耐性を論理設計そのものに統合すること。

提案手法

• 論理状態を表すために3ビットハミング符号を用いてブール論理演算を符号化する。
• 標準的なブール演算子（AND、OR、NOT）を、エラー検出および是正特性を保持するハミング空間内の演算にマッピングする。
• ハミング距離の原則を用いて、論理計算中に1ビットエラーを検出および是正する。
• 入力および出力状態が有効なハミング符号語に制限される論理回路を設計することで、故障耐性を維持する。
• 計算中に1ビットエラーが発生しても論理演算が機能的に正しく動作することを検証する。
• エラー耐性が符号化方式そのものに内在しているため、追加の故障耐性ハードウェアは不要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ハミング空間における耐障害性符号化を用いて、1ビットエラーからの自己回復を実現するブール論理演算を実装可能か？
• RQ2 論理回路におけるエラー検出および是正を可能にするために必要な最小符号長は何か？
• RQ3 外部のエラー処理回路を必要とせずに、標準的な論理ゲートをハミング符号フレームワーク内で再定義する方法は何か？
• RQ4 1ビットエラー状態下でも、3ビット符号が関数的正しさをどの程度保持できるか？
• RQ5 提案手法により、デジタルシステムにおける別個の故障耐性機構の必要性を排除できるか？

主な発見

• 3ビットハミング符号は、内在的な耐障害性を備えた基本的なブール論理ゲートの実装を可能にする。
• 本手法により、追加の故障耐性回路を必要とせず、デジタルシステムが1ビットエラーから自己回復可能である。
• エラー検出および是正は、論理計算中にハミング符号の固有の性質によって達成される。
• 中間状態で1ビットエラーが発生しても、符号化方式が論理演算の関数的正しさを維持する。
• 故障耐性を符号化により論理設計そのものに埋め込むことで、システムの複雑さを低減できることが示された。
• 結果から、ハミング空間符号化が耐障害性ブール論理に実用的で、最小限のオーバーヘッドを伴う解決策であることが確認された。