• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2014 Fiscal Year Research-status Report

高位設計からのLSIの非スキャンテスト容易化動作合成及びテスト生成に関する研究

Research Project

Project/Area Number 26330071
Research InstitutionNihon University

Principal Investigator

細川 利典  日本大学, 生産工学部, 教授 (40373005)

Project Period (FY) 2014-04-01 – 2017-03-31
Keywordsテスト容易化バインディング / テスト容易化スケジューリング / 階層テスト生成 / テスト容易化機能的時間展開モデル生成 / 低消費電力指向テスト生成 / マルチサイクルキャプチャテスト生成
Outline of Annual Research Achievements

本研究では、LSI(大規模集積回路)に搭載されている機密情報の安全性を保証しつつ、低コストで高品質なLSI の製造テストを実施し、その信頼性・安全性を確保する技術を確立することを目的とする。以下に平成26年度の3つの研究目標に対する研究実績を記載する。
1.テスト容易化動作合成技術(1)順序テスト生成を困難にする要素である演算器入出力の順序深度を解析し、その段数を削減するバインディングアルゴリズムを検討し、評価を行った。(2)階層テストの品質を表す使用である階層テスト生成可能演算器数を増加させるバインディングを実装し、その評価を行った。(3)階層テスト生成可能演算器数増加のためのバインディングの効果を高めるためのスケジューリングアルゴリズムの検討を行い、評価を行った。
2. 階層テスト生成技術(1)テスト環境中の代数記号に、階層ライブラリ中のテストパターンを基に実際の整数値を割当てテスト系列を生成し、計算機実験による評価を行った。(2)テスト実行時間を削減するために、順序回路故障シミュレーションを基に不要なテスト系列を削除するアルゴリズムを実装し、その評価を行った。(3)低消費電力指向のテスト系列を生成するテスト生成アルゴリズムの検討・実装・及び計算機実験による評価を行った。
3.テスト生成容易化機能抽出技術
データパスのテスト生成容易化機能情報抽出とそのデータパスのテスト動作を実現するコントローラ拡大に関するアルゴリズムを検討し、その実装を行い、計算機実験による評価を行った。
以上のように、少ないオーバーヘッドで、テスト生成を容易にするための回路を合成する可能性を高めることができ、LSIのテストコスト削減と品質の向上に寄与することができた。さらに消費電力の削減に故障伝搬経路の選択や実動作に基づくテスト生成アルゴリズムが有効であることを示し、LSIテストの信頼性を高めることができた。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

テスト容易化動作合成に関しては、階層テスト可能演算器数を増加するためのバインディング法の実装及び、スケジューリング法のアルゴリズム設計が完了しており、ほぼ計画通りに研究が進んでいると考える。また階層テスト生成についても、テスト系列生成、テスト圧縮の計算機実験が完了し、ほぼ計画通りに研究が進んでいると考える。さらに低消費電力指向のテスト系列の生成に関しては、複数アルゴリズムの検討、実装、計算機実験による評価が完了しており、前倒しで研究が進んでいると考える。また、テスト生成容易化機能抽出技術に関しては、テスト容易化機能的時間展開モデル生成のアルゴリズム設計・実装・計算機実験による評価が完了しており、ほぼ計画通りに研究が進んでいると考える。よって、全体を通してみても、ほぼ計画通りに研究が進んでいると考える。

Strategy for Future Research Activity

テスト容易化動作合成に関しては、データパスのテスト容易ためのバインディング法やスケジューリング法を強化することに加え、コントローラのテスト容易化のための動作合成アルゴリズムの検討を開始する。またテスト容易化に加え、セキュリティの高い回路を合成する動作合成アルゴリズムの検討も開始する。
テスト生成に関しては、低消費電力テスト生成に加えて、消費電力を制御可能なテスト生成アルゴリズムの検討を開始する。さらに生成したテストパターン数を削減する低消費電力なテスト圧縮アルゴリズムの検討も開始する。
テスト容易化機能的時間展開モデル生成に関しては、低消費電力なテスト生成モデルの生成アルゴリズムの検討を開始するとともに、コントローラのテスト容易化機能的時間展開モデル生成アルゴリズムの検討を開始する。
今年度から研究協力者として、九州工業大学大学院情報工学研究院電子情報工学研究系の宮瀬紘平助教と低消費電力テストとテスト生成の分野で研究討論を行い、日本大学生産工学部教養・基礎科学系の山崎紘史助手とテスト圧縮やテスト生成の分野で研究討論を行う予定である。

Causes of Carryover

2015年3月分の学生アルバイトの代金分を準備していたためと研究打ち合わせの出張の代金を準備していたため。

Expenditure Plan for Carryover Budget

実験評価用の計算機の購入、国内学会・国際会議出張旅費、研究協力者との研究打ち合わせ旅費、学生アルバイトに対する謝金などに使用する計画である。

  • Research Products

    (19 results)

All 2015 2014

All Presentation (19 results)

  • [Presentation] A Low Capture Power Test Generation Method Using Capture Safe Test Vectors2015

    • Author(s)
      Atsushi Hirai, Toshinori Hosokawa, Yukari Yamauchi, Masayuki Arai
    • Organizer
      20th IEEE European Test Symposium
    • Place of Presentation
      Cluj-Napoca, Romania
    • Year and Date
      2015-05-25 – 2015-05-29
  • [Presentation] A Multi Cycle Capture Test Generation Method for Low Capture Power Dissipation2015

    • Author(s)
      Hiroshi Yamazaki, Jun Nishimaki, Toshinori Hosokawa, Masayoshi Yoshimura
    • Organizer
      Designing with Uncertainty
    • Place of Presentation
      Grenoble, France
    • Year and Date
      2015-03-13 – 2015-03-15
  • [Presentation] A Binding Method for Hierarchical Testability Using Results of Test Environment Generation2015

    • Author(s)
      Jun Nishimaki, Toshinori Hosokawa, Hideo Fujiwara
    • Organizer
      DUHDe ; 2nd Workshop on Design Automation for Understanding Hardware Designs
    • Place of Presentation
      Grenoble, France
    • Year and Date
      2015-03-13 – 2015-03-13
  • [Presentation] 信号非遷移情報に基づくトロイ回路検出法2015

    • Author(s)
      坊屋鋪知拓・細川利典・吉村正義
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2015-02-13 – 2015-02-13
  • [Presentation] スキャンベース攻撃を考慮した暗号LSIのテスト手法2015

    • Author(s)
      吉村正義・西間木淳・細川利典
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2015-02-13 – 2015-02-13
  • [Presentation] 階層テスト容易化高位合成におけるスケジューリングの一手法2015

    • Author(s)
      西間木淳・細川利典・藤原秀雄
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2015-02-13 – 2015-02-13
  • [Presentation] マルチサイクルキャプチャテスト集合を用いた単一論理故障の故障診断法の評価2015

    • Author(s)
      高野秀之・山崎紘史・細川利典・山崎浩二
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2015-02-13 – 2015-02-13
  • [Presentation] 順序回路におけるテスト不可能故障判定法の評価2015

    • Author(s)
      秋山正碩,山崎紘史,細川利典,吉村正義
    • Organizer
      第72回FTC研究会
    • Place of Presentation
      熊本県
    • Year and Date
      2015-01-22 – 2015-01-24
  • [Presentation] テスト環境生成結果を用いた階層テスト容易化スケジューリング法2015

    • Author(s)
      西間木淳,細川利典,藤原秀雄
    • Organizer
      第72回FTC研究会
    • Place of Presentation
      熊本県
    • Year and Date
      2015-01-22 – 2015-01-24
  • [Presentation] 遷移故障テスト集合を用いた抵抗性ブリッジ故障検出率向上指向テスト生成法2015

    • Author(s)
      北尾隆,山崎紘史,細川利典,吉村正義
    • Organizer
      第72回FTC研究会
    • Place of Presentation
      熊本県
    • Year and Date
      2015-01-22 – 2015-01-24
  • [Presentation] キャプチャセーフテストベクトルを利用した低消費電力テスト生成法2014

    • Author(s)
      平井淳士・細川利典・山内ゆかり・新井雅之
    • Organizer
      電子情報通信学会デザインガイア2014
    • Place of Presentation
      大分県
    • Year and Date
      2014-11-26 – 2014-11-28
  • [Presentation] キャプチャ消費電力削減のためのテストポイント挿入法2014

    • Author(s)
      髙橋慶安・山崎紘史・細川利典・吉村正義
    • Organizer
      電子情報通信学会デザインガイア2014
    • Place of Presentation
      大分県
    • Year and Date
      2014-11-26 – 2014-11-28
  • [Presentation] キャプチャ消費電力削減のためのマルチサイクルキャプチャテスト生成法2014

    • Author(s)
      山崎紘史・西間木淳・細川利典・吉村正義
    • Organizer
      電子情報通信学会デザインガイア2014
    • Place of Presentation
      大分県
    • Year and Date
      2014-11-26 – 2014-11-28
  • [Presentation] A Simulation Based Low Capture Power Test Generation Method Using Capture Safe Test Vectors2014

    • Author(s)
      Atsushi Hirai, Toshinori Hosokawa, Yukari Yamauchi, Masayuki Arai
    • Organizer
      The Fifteen Workshop on RTL and High Level Testing
    • Place of Presentation
      Hangzhou, Chaina
    • Year and Date
      2014-11-19 – 2014-11-20
  • [Presentation] A Scheduling Method for Hierarchical Testability Using Results of Test Environment Generation2014

    • Author(s)
      Jun Nishimaki, Toshinori Hosokawa, Hideo Fujiwara
    • Organizer
      The Fifteen Workshop on RTL and High Level Testing
    • Place of Presentation
      Hangzhou, Chaina
    • Year and Date
      2014-11-19 – 2014-11-20
  • [Presentation] マルチサイクルキャプチャテストの消費電力評価2014

    • Author(s)
      山崎紘史,西間木淳,細川利典,吉村正義,山崎浩二
    • Organizer
      第71回FTC研究会
    • Place of Presentation
      東京都
    • Year and Date
      2014-07-17 – 2014-07-19
  • [Presentation] 自己組織化マップを用いた低消費電力テストパターンの分類と生成に ついて2014

    • Author(s)
      平井淳士,細川利典,山内ゆかり,新井雅之
    • Organizer
      第71回FTC研究会
    • Place of Presentation
      東京都
    • Year and Date
      2014-07-17 – 2014-07-19
  • [Presentation] テスト環境生成結果を用いた階層テスト容易化バインディング法2014

    • Author(s)
      西間木 淳・細川利典・藤原秀雄
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2014-06-20 – 2014-06-20
  • [Presentation] 機能的k時間展開モデルのテスト容易性評価2014

    • Author(s)
      増田哲也・西間木 淳・細川利典・藤原秀雄
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都
    • Year and Date
      2014-06-20 – 2014-06-20

URL: 

Published: 2016-05-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi