到達不能状態を用いた順序回路の冗長除去

概要

論文の詳細を見る
縮退故障の存在する回路が出力系列によって正常回路との区別が不可能であるとき,その故障を冗長故障という.冗長故障に対応する信号線は回路の論理関数を変えずに除去できる.冗長信号線の除去により回路面積は小さくなり,検出不能故障も少なくなるため,冗長除去は論理回路の再合成に有効な手法の一つとなっている.順序回路においては,回路の出力系列は入力系列だけではなく状態にも依存するため,検出不能な故障がすべて冗長故障であるとは限らない.順序回路の検出不能故障は冗長故障と,回路がある特定の状態であるときにのみ故障の影響が現れる確率的検出可能故障の2つに分類される.回路を未知の状態から既知の状態に設定するために初期化系列を用いることを考慮すれば,冗長故障に限らず検出不能故障も故障回路が初期化できれば除去が可能である.本論文での冗長除去には,冗長故障に対応する信号線の除去に加え,除去可能な検出不能故障に対応する信号線の除去も含めることとする.本論文では初期化系列を用いることを前提とし,同期式順序回路に対して,冗長除去により信号線・ゲート・フリップフロップ数の削減を行うことを目的とする.
社団法人電子情報通信学会の論文
1996-03-11

到達不能状態を用いた順序回路の冗長除去

スポンサーリンク

概要

著者

関連論文

スポンサーリンク