電源ノイズ起因タイミング故障のデバッグにおけるC言語ベース故障検出手法の有効性評価

情報処理学会

書誌事項

タイトル別名
  • Performance Evaluation of Software-based Error Detection Mechanisms for Localizing Electrical Timing Failures under Dynamic Supply Noise

抄録

チップの動作検証時に発生した故障のデバッグを目的としたソフトウェアベース故障検出手法が提案されており， C 言語実装可能な一手法として EDM (Error Detection Mechanisms) 変換がある． EDM の電気的故障への有効性を評価するため，我々は二つのシナリオを考えた．(1) オリジナルプログラム実行時に発生した電気的故障をデバッグしたい， (2) プロセッサに潜在する電気的故障を出来るだけ知りたい．本研究では EDM を電気的故障高速検出用に変形し，両シナリオにおいて電源ノイズ起因タイミング故障に有効か実験的に評価した．評価により，EDM を用いてオリジナルプログラム実行時の故障をデバッグすることは困難であるが，潜在的な電気的故障の発見には有用であるという結果を得た．

For facilitating error localization, software-based error detection techniques have been proposed and EDM (error detection mechanisms) transformation is one of these techniques. To discuss the effectiveness of EDM for electrical bug localization, two scenarios are considered; (1) localizing an electrical bug occurred in the original program, and (2) localizing as many potential bugs as possible. We experimentally evaluated the error detection performance in these two scenarios under dynamic power supply noise. Experimental results show that the EDM transformation customized for quick error detection cannot locate electrical bugs in the original program in the first scenario, but it is useful for finding potential bugs in the second scenario.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050011097121457408
  • NII論文ID
    170000150799
  • Web Site
    http://id.nii.ac.jp/1001/00144797/
  • 本文言語コード
    ja
  • 資料種別
    conference paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ