第 5 章 テスト圧縮を考慮したドントケア判定
5.2 ドントケア判定
5.2.3 故障伝搬経路の決定規則
ド ン ト ケ ア 判定 は ，故 障 シ ミ ュ レ ー シ ョ ン に よ る 内 部信 号 線 値 の 計 算 後，
外 部 出 力 か ら 故障 箇 所 ま で 故 障 伝 搬経 路 を 遡 る ．こ の と き ，故 障 伝 搬 経 路 と 故 障 伝 搬 に 必要 な 信 号 線 と 信 号 線値 を ス タ ッ ク に 保 存す る ．ス タ ッ ク に 保 存 さ れ た 信 号線 と 信 号 線 値 は ，限 定 含 意 操 作[18]，限 定 正 当 化 操 作[18]，
拡 張 含 意 操 作[18]を 用 い て 故 障 検 出 に 必 要 な 信 号 線 値 を 決 定 す る ． こ の と き ， 故 障 の 検 出に 必 要 の な い 外 部 入力 値 を ド ン ト ケ ア とす る ．
本 節 で は，故 障 伝 搬 経 路 の 決 定 規 則[18]を 説 明 す る．ま た ，5.2.4 節 で 限 定 含 意 操 作 と 限 定 正 当 化 操 作 ，5.2.5 節 で 見 逃 し 故 障 お よ び 拡 張 含 意 操 作 を 説 明 す る ．
52
故 障 伝 搬 経 路 の 決 定 規 則 1
規 則 1 は ，故 障 伝 搬 し て い る ゲ ート の 入 力 信 号 線 に 故障 伝 搬 信 号 線が 1 本 の 時 に 適 用 する ．こ の と き，故 障 伝 搬 し て い る ゲ ー トの 入 力 信 号 線 の み 遡 り ， 他 の 入 力信 号 線 と 信 号 線 値 をス タ ッ ク に 保 存 す る．
図5.2.3.1に 故 障 伝 搬 経 路 の 決 定 規 則1の 例 を 示 す．図5.2.3.1に お い て，
信 号 線 a，b，c，d，e，f は 内 部 信 号 線 ， 信 号 線 g は 外 部 出 力 で あ る ． 外 部 出 力 gか ら の 故 障 伝 搬 経 路 の 決 定 を 考 え る ． ゲ ート G2 に お い て ， 入 力 信 号 線 e は 故 障 値 が 伝 搬 し て お り ，f は 故 障 値 が 伝 搬 して い な い ． そ の た め ，信 号 線 e は 故 障 伝 搬 経 路 と し て遡 り ，信 号 線 f と そ の 信 号 線 値 を ス タ ッ ク に 保 存 す る．
a
d b
e
c
G0
G1
G2
f
g
1/1
0/1 0/1
0 /0 0/0
0/0 0/1
正常値をスタック保存
図 5.2.3.1： 故 障 伝 搬 経 路 の 決 定 規 則 1 の 例
53
故 障 伝 搬 経 路 の 決 定 規 則 2
規 則 2 は ，故 障 伝 搬 し て い る ゲ ー トの 入 力 信 号 線 に 故 障伝 搬 信 号 線が 2 本 以 上 で ，故 障 伝 搬 し て い る 入 力 信号 線 の 正 常 値 が 非 制御 値 の と き に 適 用 す る ．こ の と き，故 障 伝 搬 し て い るゲ ー ト の 入 力 信 号 線 の ど れ か 1 つ を 遡 り ，他 の 入力 信 号 線 と 信 号 線 値 を スタ ッ ク に 保 存 す る．こ れ は ，故 障 検出 を 保 証 す る に は少 な く と も1つ の 故 障 伝 搬 経 路 を 確 保 すれ ば よ い か ら で あ る ． ま た ， 遡 る信 号 線 は ど れ を 選 択し て も 構 わ な い ．
図5.2.3.2に 故 障 伝 搬 経 路 の 決 定 規 則2の 例 を 示 す．図5.2.3.2に お い て，
信 号 線 a，b，c，d，e，f は 内 部 信 号 線 ， 信 号 線 g は 外 部 出 力 で あ る ． 外 部 出 力 gか ら の 故 障 伝 搬 経 路 の 決 定 を 考 え る ． ゲ ート G2 に お い て ， 入 力 信 号 線 e と f に 故 障 値 が 伝 搬 し て おり ，e と f の 正 常 値 は G2 の 非 制 御値 で あ る ． そ の た め，e か f の ど ち ら か 一 方 の み を 故 障 伝 搬経 路 と し て 遡 る ． 図 5.2.3.2 で は ，e を 故 障 伝 搬 経 路と し て 遡 り ，f と そ の値 を ス タ ッ ク に 保 存 す る ．
a
d b
e
c
G0
G1
G2
f
g
1/1
0/1 0/1
0 /1 0/0
0/1 0/1
正常値をスタック保存
図 5.2.3.2： 故 障 伝 搬 経 路 の 決 定 規 則 2 の 例
54
故 障 伝 搬 経 路 の 決 定 規 則 3
規 則 3 は ，故 障 伝 搬 し て い る ゲ ー トの 入 力 信 号 線 に 故 障伝 搬 信 号 線が 2 本 以 上 で，故 障 伝 搬 し て い る 入 力 信号 線 の 正 常 値 が 制 御値 の と き に 適 用 す る ．こ の とき ，故 障 伝 搬 し て い る ゲー ト の 入 力 信 号 線 の全 て を 遡 り ，故障 伝 搬 し て い な い入 力 信 号 線 と 信 号 線値 を ス タ ッ ク に 保 存す る ．故 障 伝 搬 し て い る 入 力 信 号線 の 正 常 値 が 制 御 値の 場 合 は，故 障 伝 搬 し て い る 全 て の 入 力 信 号 線 が 故 障の 検 出 に 必 要 な 経 路と な る ．
図5.2.3.3に 故 障 伝 搬 経 路 の 決 定 規 則3の 例 を 示 す．図5.2.3.3に お い て，
信 号 線 a，b，c，d，e，f は 内 部 信 号 線 ， 信 号 線 g は 外 部 出 力 で あ る ． 外 部 出 力 gか ら の 故 障 伝 搬 経 路 の 決 定 を 考 え る ． ゲ ート G2 に お い て ， 入 力 信 号 線 e と f に 故 障 値 が 伝 搬 し て おり ，e と f の 正 常 値 は G2 の 制 御 値で あ る ． そ の た め ，eと fの 両 方 を 故 障 伝 搬 経 路 と し て 遡 る ．
a
d b
e
c
G0
G1 f
g
1/1
1/0 1/0
0/0 1/0 1/0 1/0
G2
図 5.2.3.3： 故 障 伝 搬 経 路 の 決 定 規 則 3 の 例
55
図 5.2.3.4 に ， 規 則 1，2，3 に 従 い 故 障 伝 搬 経 路 を 求 める 例 を 示 す ． 図 5.2.3.4 で は， 信 号 線 b の 1 縮 退 故 障 が 外 部 出 力 r ま で伝 搬 し て い る ． こ の と き ，外 部 出 力 r か ら 信 号線 b へ 故 障 伝 搬 経 路 を 遡 りな が ら ，内 部信 号 と 内 部 信 号 値 をス タ ッ ク に 保 存 す る ．ま ず ，ゲ ー ト G6 の 入 力 信 号 線 の 内 ， 故 障 伝 搬 し て いる の は 信 号線 q の み で あ る た め ，規則 1 を 適 用 す る ．こ れ に よ り ，故 障 伝 搬 経 路 で あ る 信 号線 q を 遡 り ，外 部 入 力 f と そ の 正 常 値 を ス タ ッ ク に 保 存す る ．次 に ゲ ー ト G5 で は，信 号 線 n と p の 両 方 に 故 障 伝 搬 さ れ て お り ，n と p の 正 常 値 は ゲ ート G5 の 非 制 御 値で あ る た め 規則 2 が 適 用 さ れ ， n か p の どち ら か 一 方 を 選 択 し て 遡 る ．こ の 例 で は n を 選 択 し て 遡 り ，p と そ の 正 常 値 を ス タッ ク に 保 存 す る ． ゲー ト G4 で は信 号 線 k と m の 両 方 に 故 障 伝 搬 し て お り ，k と m の 正 常 値 は ゲ ー ト G4 の 制 御 値 で あ る た め規 則 3 が 適 用 さ れ ，信 号 線 kと m の 両 方 を 遡 る ．この 時 ， ス タ ッ ク に は 何も 保 存 さ れ な い ． ゲー ト G1 と G2 に お い て ， そ れ ぞ れ 信 号 線 h と iか ら 故 障 伝 搬 し て い る た め ，規 則 1 が 適 用 さ れ る ．この と き 故 障 伝 搬 信 号線 h と i の 分 岐 元 信 号線 g ま で 遡 り ， ス タ ック に は 外 部 入 力 a と e と そ の 正 常値 が 保 存 さ れ る ． ゲー ト G0 に お いて ，外 部 入 力 b か ら 故 障 伝 搬 し て い るた め ， 規 則 1 が 適 用 され ， 外 部 入 力 b を 遡り ， 外 部 入 力 c と そ の 正 常 値 をス タ ッ ク に 保 存 す る．こ こ で 故 障 箇 所 であ る 外 部 入力 b に 到 達 し た た め，最 後 に 外 部 入力 b と そ の 正 常 値 を ス タ ック に 保 存 し て 終 了 す る ．こ の 例 の 場 合 ，最 終 的 に ス タ ッ ク に 保 存 さ れ る 信号 線 は a，b，c，e， f，p の 6 本 で あ り， そ れ ぞ れ の 信 号線 値 は 0，0，1，0，0，1 で あ る ．
ま た ，スタ ッ ク に 保 存 さ れ た 信 号 線 と 信 号 線 値 に つ い ては ，限 定 含 意 操 作 ，限 定正 当 化 操 作 ，拡 張 含意 操 作 を 用 い て 外 部 入 力 まで 正 当 化 処 理 を 行 う ．
56
×
i h
0 /0
1/1 1 /1
0 /1
0/1
0/1
0/1
0/1 0/1 m
G0
G3 G2 G1
G4
G5 G6 r
q f e
d c
b
n k
j g
1 /1 0 /0
0/1 0/1
0 /1 0/1
0/1
p
スタック保存
スタック保存 スタック保存
スタック保存
スタック保存 スタック保存
a
図 5.2.3.4： 故 障 伝 搬 経 路 の 決 定 例
57