2021 Fiscal Year Research-status Report
IPコア内のトロイ回路を特定するLSI設計技術に関する研究
Project/Area Number |
18K11228
|
Research Institution | Kyoto Sangyo University |
Principal Investigator |
吉村 正義 京都産業大学, 情報理工学部, 准教授 (90452820)
|
Co-Investigator(Kenkyū-buntansha) |
細川 利典 日本大学, 生産工学部, 教授 (40373005)
|
Project Period (FY) |
2018-04-01 – 2023-03-31
|
Keywords | トロイ回路 / モンテカルロツリーサーチ |
Outline of Annual Research Achievements |
近年LSIの設計に,第三者が設計し提供するLSIの部分的な設計データ(以下IPコア)が広く使われている.本研究では,ブラックボックス化された設計データとホワイトボックス化された設計データの等価性を検証し,余分な機能が含まれていないことを明らかにし,LSIの設計に用いられるIPコアにトロイ回路が含まれていないことを示す手法を開発する. 今年度は「トロイ回路のトリガーに用いられる可能性の高い内部状態をモンテカルロツリーサーチを用いて探索する手法」についてプログラム作成を行った.対象としたトロイ回路は順序回路であり,通常動作では到達しにくい状態において,トリガー回路が起動する回路である.トロイ回路のトリガーに用いられる可能性の高い内部状態の探索は,大規模回路な回路において処理時間が指数的に増大するため困難である.そこで今年度は統計的な探索手法であるモンテカルロツリーサーチを用いて,通常動作では到達しにくい状態として,状態確率が0ではないが低い状態を求める手法を開発した. 開発した手法を小規模から大規模なベンチマーク回路に適用し性能について評価を行った.小規模な回路では,状態確率が0ではないが低い状態を正確に求められることを確認した.また中規模な回路では,従来の手法より短時間で状態確率が0ではないが低い状態を正確に特定できることがわかった.一方,現状のプログラムでは,大規模な回路は処理時間がかかった.これは開発したプログラムの一部に,スケーラブルでないアルゴリズムやソースコードが含まれているためである.これらを改良し,より効率的な探索手法するプログラムが必要であることがわかった.中規模,大規模回路に対する手法の開発は来年度の課題である.
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
今年度は小規模な回路では,トロイ回路が起動されやすい状態確率が0ではないが低い状態を求めることができた.一方,中規模から大規模な回路ではトロイ回路が起動されやすい状態確率が0ではないが低い状態は,処理時間がかかったため,求めることができた回路と求めることができなかった回路にわかれた. 中規模,大規模回路に対する手法の開発は来年度の課題である.この課題を解決するために,探索の効率化と昨年度から回路を複数に分割し,細分化した回路ごとに状態確率を求め,全体の回路の各状態の状態確率を求める手法を開発している.この追加開発した手法を用いることで,当初の研究成果を達成できると考えている.
|
Strategy for Future Research Activity |
令和4年度(2022年度)は計高速な算機を導入し,仮説の立案と検証を高頻度に実践できるよう取り組む.
|
Causes of Carryover |
新型コロナ禍の影響で,研究体制がうまく構築できなかった.そのため,研究の進捗が滞ってしまった. 次年度は新型コロナ禍の元でも研究が促進できるよう,計算機環境の刷新を含めた研究体制の構築をはかる.
|
Research Products
(4 results)