研究課題
若手研究(スタートアップ)
回路の機能仕様に着目した許容故障判定法を提案し, 数値計算など出力がある値(解)に収束する回路, 画像処理で用いられるMPEG回路について許容故障を確認することができた. また, 許容故障を高速に判定するアルゴリズムを提案し, ベンチマーク回路に対して最大で約2倍の高速化を確認した. さらに, 汎用のテスト生成アルゴリズムを利用した許容故障判定法の提案を行い, 商用ツールを用いた許容故障の判定を可能にした.
すべて 2009 2008
すべて 学会発表 (3件)