|
近年LSIの設計に，第三者が設計し提供するLSIの部分的な設計データ(以下IPコア)が広く使われている．本研究では，ブラックボックス化された設計データとホ ワイトボックス化された設計データの等価性を検証し，余分な機能が含まれていないことを明らかにし，LSIの設計に用いられるIPコアにトロイ回路が含まれていないことを示す手法を開発する.
今年度は「トロイ回路のトリガーに用いられる可能性の高い内部状態をモンテカルロツリーサーチを用いて大規模な回路を高速に探索する手法」について研究を行った．対象としたトロイ回路は順序回路であり，通常動作では到達しにくい状態において，トリガー回路が起動する回路である.トロイ回路のトリガーに用いられる可能 性の高い内部状態の探索は，大規模回路な回路において処理時間が指数的に増大するため困難である.
そこで昨年度開発した統計的な探索手法であるモンテカルロツリーサーチを用いた手法は，中規模，大規模なベンチマーク回路では処理時間が長い結果であった．そこで今年度は中規模，大規模なベンチマーク回路では処理時間を削減することを目的として，モンテカルロツリー探索と簡易な状態確率見積もりを組合せた手法を開発した．簡易な状態確立の見積もり結果によって，あらかじめ状態確率がある閾値以上と見積もられる状態を求め，モンテカルロツリー探索の対象となる状態から除去し，大規模な回路における探索時間の短縮を図った．簡易な状態確率の見積もり手法として，今回はランダムパタンシミュレーションによる各状態への遷移確率を用いた．
中規模，大規模なベンチマーク回路による実験の結果，精度よくトリガー状態を特定できた．また中規模な回路での探索時間を大幅に削減することができた．一方，大規模な回路では探索時間を要した．簡易な状態確率の見積もり手法の改善が必要である．
|
