- 著者
-
梶原 誠司
樹下 行三
ポメランツ イリス
レディ スダーカ M.
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告. 設計自動化研究会報告
- 巻号頁・発行日
- vol.97, no.17, pp.1-8, 1997-02-14
製造した回路のタイミング検証の重要性が高まっている一方で,ロバスト依存パスや機能的活性化不能パスのようなパス遅延故障のテストにおいてテスト不要であるパスを多く含む回路が存在することがわかってきた.テスト不要なパスをテスト生成の前に指摘し,テスト生成の対象としないことは,パス遅延故障のテスト生成の効率化に役立つ.本論文は,高速にロバスト依存バスと機能的活性化不能パスを識別する手法を提案する.提案手法は回路の局所的な解析に基づくため,従来多大な処理時間を要していたパス数の多い回路も高速に処理可能である.実験では,本手法は従来手法と比較して短時間で計算でき,テスト不要なパスの判定能力はほぼ同等であることを示す.また,従来手法ではパス数が10^<20>以上あるc6288を現実的には扱うことができなかったが,本手法により99%以上のパスはテスト不要であることを示す.