文献

J-GLOBAL ID：201802241663198434   整理番号：18A0729152

ATPGとモデル検査を用いたハードウェアトロイ検出【JST・京大機械翻訳】

Hardware Trojan Detection Using ATPG and Model Checking

著者 (4件)： Cruz Jonathan ,  Farahmandi Farimah ,  Ahmed Alif ,  Mishra Prabhat
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： VLSID  ページ： 91-96  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 集積回路におけるハードウェアTrojansの存在の脅威は,システムオンチップ(SoC)設計産業と軍事/防衛組織における主要な関心事になっている。現在の研究努力において,ハードウェアTrojansを検出し,活性化する有効な方法を見出すことに重点を置いている。しかしながら,最先端のアプローチは完全性とスケーラビリティの欠如を被っている。さらに,既存の方法のほとんどは,潜在的に隠されたTrojanを活性化するための効率的な試験を生成することができない。本論文では,大規模逐次設計で隠された悪意のある機能を活性化できる効果的なテスト生成手法を提案した。自動テストパターン生成(ATPG)はフルスキャン設計によく機能するが,モデル検査はスキャンチェーンのない論理ブロックに適している。オーバーヘッドの考慮により,部分走査チェーン挿入は今日標準的な実践である。残念ながら,ATPGもモデル検査も部分走査設計に適していない。提案したハードウェアTrojan検出技術は,ATPGとモデル検査アプローチの組合せを利用する。これらの技術の一つを用いて,元の設計を実行する共通の落とし穴を避けるために,走査要素上の非走査要素とATPGの部分集合に関するモデル検査を用いた。実験結果は,Trust-HUBベンチマーク上のTrojansを検出するために提案した手法により生成したテストの有効性を実証した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 完全性 ,  部分集合 ,  走査 ,  チェーン ,  ベンチマーク ,  *ハードウェア ,  集積回路 ,  検出法 ,  *モデル検査
準シソーラス用語： オーバヘッド ,  テストパターン生成 ,  テスト生成 ,  軍事 ,  システムオンチップ ,  *ATPG , 【Automatic Indexing@JST】

分類 (2件)： 半導体集積回路  (NC03162T) ,  固体デバイス計測・試験・信頼性  (NC03040G)

タイトルに関連する用語 (3件)： ATPG ,  モデル検査 ,  ハードウェア