• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2018 年度 実施状況報告書

IPコア内のトロイ回路を特定するLSI設計技術に関する研究

研究課題

研究課題/領域番号 18K11228
研究機関京都産業大学

研究代表者

吉村 正義  京都産業大学, 情報理工学部, 准教授 (90452820)

研究期間 (年度) 2018-04-01 – 2021-03-31
キーワードIPコア / トロイ回路 / ブラックボックス / ホワイトボックス / 内部状態 / 到達不能状態 / 入力系列生成
研究実績の概要

今年度は「動作中に用いられる内部状態とあまり用いられれない内部状態に分類する手法」について検討を行った.まずは内部状態を「初期状態から到達可能な状態」と「初期状態から到達不可能な状態」の2つの状態に分類する手法について開発を行った.ここで「動作中に用いられる内部状態とあまり用いられれない内部状態」はいずれも,「初期状態から到達可能な状態」である.まずこれらに含まれない「初期状態から到達不可能な状態」の特定を行なった.これらの初期状態から到達不可能な状態をすべて特定するのではなく,到達不可能な一部の状態を特定し,その特定された状態から他の到達不可能な状態を特定する手法の開発を行った.この手法によって,多くの到達不可能な状態を特定できるようになった.
しかしながら,研究の進捗の遅れのため,「初期状態から到達不可能な状態」の情報を用いることによる「あまり用いられれない内部状態」を特定するまでには至らなかった.この特定手法の開発は次年度に研究を行う予定である.
平成31年度に実施を計画していた「分類した内部状態ごとに二つの設計データが異なる出力を探索する手法」については,今年度は手法の概要に対する検討を行ったのみである.従来の研究していた手法が応用可能かの検討を行った.その検討の結果,以前に研究を行ったトロイ回路の検出系列の生成手法が応用可能ではないかとの見解が得られた.次年度以降実証を行う予定である.

現在までの達成度 (区分)
現在までの達成度 (区分)

3: やや遅れている

理由

到達不能状態の解析用プログラムの開発に時間を要したため,研究の進捗が遅れが生じた.

今後の研究の推進方策

平成30年度の研究の進捗の遅れを取り戻すため,学生アルバイトの雇用の追加を行う.この追加により,計画通りの研究進捗となることを目指す.

次年度使用額が生じた理由

研究の進捗の遅れのため,予定していた研究発表用の旅費が支出できなかった.
次年度はこの遅れを取り戻すため,学生アルバイト用の人件費および発表用の旅費として用いる.

  • 研究成果

    (7件)

すべて 2018

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (4件) (うち国際学会 1件)

  • [雑誌論文] A Test Register Assignment Method Based on Controller Augmentation to Reduce the Number of Test Patterns2018

    • 著者名/発表者名
      Toshinori Hosokawa, Hiroshi Yamazaki, Shun Takeda, Masayoshi Yoshimura
    • 雑誌名

      2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)

      巻: 24 ページ: 228-231

    • DOI

      10.1109/IOLTS.2018.8474097

    • 査読あり
  • [雑誌論文] A Sequentially Untestable Fault Identification Method Based on n-Bit State Cube Justification2018

    • 著者名/発表者名
      Toshinori Hosokawa, Morito Niseki, Masayoshi Yoshimura, Hiroshi Yamazaki, Masayuki Arai, Hiroyuki Yotsuyanagi, Masaki Hashizume
    • 雑誌名

      2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)

      巻: 24 ページ: 43-46

    • DOI

      10.1109/IOLTS.2018.8474268

    • 査読あり
  • [雑誌論文] A Capture Safe Static Test Compaction Method Based on Don't Cares2018

    • 著者名/発表者名
      Sayuri Ochi, Hiroshi Yamazaki, Toshinori Hosokawa, Masayoshi Yoshimura
    • 雑誌名

      2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)

      巻: 24 ページ: 195-200

    • DOI

      10.1109/IOLTS.2018.8474080

    • 査読あり
  • [学会発表] レジスタ転送レベルにおけるコントローラ拡大を用いた遷移故障検出率向上のためのテスト容易化設計2018

    • 著者名/発表者名
      竹内勇希、細川利典、山崎紘史、吉村正義
    • 学会等名
      DAシンポジウム2018
  • [学会発表] A design for testability method to improve transition fault coverage using controller augmentation at register transfer level2018

    • 著者名/発表者名
      Yuki Takeuchi, Toshinori Hosokawa, Hiroshi Yamazaki , Masayoshi Yoshimura
    • 学会等名
      The Nineteenth Workshop on RTL and High Level Testing
    • 国際学会
  • [学会発表] キャプチャセーフテストベクトルの故障伝搬経路を模倣した低消費電力指向ドントケア判定法2018

    • 著者名/発表者名
      三澤健一郎・細川利典・山崎紘史・吉村正義
    • 学会等名
      ディペンダブルコンピューティング研究会
  • [学会発表] コントローラの遷移故障検出率向上のための状態割当て手法2018

    • 著者名/発表者名
      吉村正義・竹内勇希・細川利典・山崎紘史
    • 学会等名
      ディペンダブルコンピューティング研究会

URL: 

公開日: 2019-12-27  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi