高位合成情報を用いたRTLフォールスパス判定に関する研究
池田 直嗣 (0651007)
本論文では，高位合成情報を用いたRTLフォールスパスの判定方法を提案する．
判定されたフォールスパス情報を利用することにより，テスト生成時間やテスト実行時間の短縮が可能であるだけでなく，過剰テストによる製造時の歩留まり損失を防ぐことも可能である．
本論文では，ATPGシステムにおいて広く普及しているパス遅延故障に対するノンロバストテストに基づき，ノンロバストテスト不能なパスをフォールスパスとして扱う.
提案手法では，高位合成の入力である動作記述と高位合成後のRTL回路との関係を表す入出力依存グラフ及びRTL回路を用いて，フォールスパス判定を行う．
提案手法は全てのRTLパスをフォールスパス判定の対象としており，従来手法では判定対象外であったRTLパスのフォールス判定も可能である．
提案手法の有効性を実験で示す．