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

Studies on Non-Scan based Synthesis for Testability and Test Generation from High-Level Design for LSIs

Research Project

Project/Area Number 26330071
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Computer system
Research InstitutionNihon University

Principal Investigator

HOSOKAWA Toshinori  日本大学, 生産工学部, 教授 (40373005)

Research Collaborator FUJIWARA Hideo  
YOSHIMURA Masayoshi  
MIYASE Kohei  
YAMAZAKI Hiroshi  
MATSUNAGA Yusuke  
YOTSUYANAGI Hiroyuki  
Project Period (FY) 2014-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords動作合成 / テスト生成 / 低消費電力 / トロイ検出 / テスト容易化合成 / テスト環境生成 / マルチサイクルキャプチャテスト / 故障診断 / 高位合成 / テスト容易化バインディング / テスト容易化スケジューリング / テスト容易化機能的時間展開モデル / 低消費電力指向テスト圧縮 / テストポイント挿入 / コントローラ拡大 / 階層テスト生成 / テスト容易化機能的時間展開モデル生成 / 低消費電力指向テスト生成 / マルチサイクルキャプチャテスト生成
Outline of Final Research Achievements

In this research, we target to perform manufacturing test for LSI (Large Scale Integrated Circuits) with high quality and low cost while guaranteeing the security of confidential information embedded on LSI. Thus, our purpose is to establish techniques to ensure the reliability and the safety for LSI.
We have proposed synthesis-for-testability and design-for-testability methods at high level of LSI design, a method of easily testable functional information extraction to generate efficient test generation models, test generation methods for low power and test compaction, and a hardware Trojan detection method for three years.
We contributed to the realization of safe LSI testing with high quality and low cost using low hardware overhead.

Report

(4 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (47 results)

All 2017 2016 2015 2014

All Presentation (47 results) (of which Int'l Joint Research: 12 results)

  • [Presentation] A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations2017

    • Author(s)
      Masayoshi YOSHIMURA, Tomohiro BOUYASHIKI, and Toshinori HOSOKAWA
    • Organizer
      2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing
    • Place of Presentation
      Christchurch, New Zealand
    • Year and Date
      2017-01-22
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model2017

    • Author(s)
      Toshinori Hosokawa, Hideyuki Takano, Hiroshi Yamazaki, and Koji Yamazaki
    • Organizer
      2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing
    • Place of Presentation
      Christchurch, New Zealand
    • Year and Date
      2017-01-22
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 抵抗性オープン故障のテスト生成法の評価2017

    • Author(s)
      錦織誠・山崎紘史・・細川利典・吉村正義・新井雅之・四柳浩之・橋爪正樹
    • Organizer
      第76回FTC研究会
    • Place of Presentation
      ANAホリディ・インリゾート宮崎
    • Year and Date
      2017-01-19
    • Related Report
      2016 Annual Research Report
  • [Presentation] 拡張シフトレジスタを用いた強セキュア回路設計法2017

    • Author(s)
      山崎紘史・細川利典・藤原秀雄
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都機械振興会館
    • Related Report
      2016 Annual Research Report
  • [Presentation] 到達不能状態を用いたSATベース順序回路のテスト不能故障判定法2017

    • Author(s)
      二関森人・細川利典・吉村正義・新井雅之・四柳浩之・橋爪正樹
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都機械振興会館
    • Related Report
      2016 Annual Research Report
  • [Presentation] キャプチャセーフテストベクトルを利用した低消費電力指向テスト生成における動的テスト圧縮法2017

    • Author(s)
      細川利典・平井淳士・山崎紘史・新井雅之
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都機械振興会館
    • Related Report
      2016 Annual Research Report
  • [Presentation] Strongly Secure Scan Design Using Extended Shift Registers2016

    • Author(s)
      Hiroshi Yamazaki, Toshinori Hosokawa and Hideo Fujiwara
    • Organizer
      IEEE the Seventeenth Workshop on RTL and High Level Testing
    • Place of Presentation
      Hiroshima, Japan
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Design for Testability Method at RTL for Concurrent Operational Unit Testing2016

    • Author(s)
      Shun Takeda, Toshinori Hosokawa, Hiroshi Yamazaki and Masayoshi Yoshimura
    • Organizer
      IEEE the Seventeenth Workshop on RTL and High Level Testing
    • Place of Presentation
      Hiroshima, Japan
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Binding Method to Generate Easily Testable Functional Time Expansion Models2016

    • Author(s)
      Mamoru Sato, Tetsuya Masuda, Jun Nishimaki, Toshinori Hosokawa and Hideo Fujiwara
    • Organizer
      IEEE the Seventeenth Workshop on RTL and High Level Testing
    • Place of Presentation
      Hiroshima, Japan
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Studies of High Level Design Aware Test Generation at Gate Level2016

    • Author(s)
      Toshinori Hosokawa
    • Organizer
      IEEE the Seventeenth Workshop on RTL and High Level Testing
    • Place of Presentation
      Hiroshima, Japan
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] コントローラ拡大とテストポイントを用いたテスト圧縮効率向上のためのテスト容易化設計2016

    • Author(s)
      武田俊・大崎直也・細川利典・山崎紘史・吉村正義
    • Organizer
      DAシンポジウム2016 - システムとLSIの設計技術 -
    • Place of Presentation
      石川県山代温泉 ゆのくに天祥
    • Year and Date
      2016-09-14
    • Related Report
      2016 Annual Research Report
  • [Presentation] テスト容易化機能的時間展開モデル生成のためのバインディング法2016

    • Author(s)
      佐藤護・増田哲也・西間木淳・細川利典・藤原秀雄
    • Organizer
      第75回FTC研究会
    • Place of Presentation
      群馬県伊香保温泉
    • Year and Date
      2016-07-14
    • Related Report
      2016 Annual Research Report
  • [Presentation] A Scheduling Method for Hierarchical Testability Based on Test Environment Generation Results2016

    • Author(s)
      Jun Nishimaki, Toshinori Hosokawa, Hideo Fujiwara
    • Organizer
      21st IEEE European Test Symposium
    • Place of Presentation
      Amsterdam, The Netherlands
    • Year and Date
      2016-05-24
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] A scheduling method for hierarchical testability based on test environment generation results2016

    • Author(s)
      Jun Nishimaki, Toshinori Hosokawa, and Hideo Fujiwara
    • Organizer
      21st IEEE European Test Symposium
    • Place of Presentation
      Amsterdam, The Netherlands
    • Year and Date
      2016-05-23
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] テストパターン数削減のためのRTLテストポイント挿入法2016

    • Author(s)
      大崎直也・細川利典・山崎紘史・吉村正義
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      機械振興会館(東京都・港区)
    • Year and Date
      2016-02-17
    • Related Report
      2015 Research-status Report
  • [Presentation] 故障励起条件解析を用いたユニバーサル論理故障診断のための被疑故障ランキング法2016

    • Author(s)
      高野秀之・細川利典・山崎紘史・山崎浩二
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      機械振興会館(東京都・港区)
    • Year and Date
      2016-02-17
    • Related Report
      2015 Research-status Report
  • [Presentation] キャプチャセーフテスト圧縮法2016

    • Author(s)
      日下部建斗・平井淳士・細川利典・山崎紘史・新井雅之
    • Organizer
      第74回FTC研究会
    • Place of Presentation
      国民宿舎みやじま杜の宿(広島県・廿日市)
    • Year and Date
      2016-01-21
    • Related Report
      2015 Research-status Report
  • [Presentation] 低消費電力指向マルチサイクルキャプチャテスト生成における時間展開数の評価2016

    • Author(s)
      山崎紘史・西間木淳・細川利典・吉村正義
    • Organizer
      第74回FTC研究会
    • Place of Presentation
      国民宿舎みやじま杜の宿(広島県・廿日市)
    • Year and Date
      2016-01-21
    • Related Report
      2015 Research-status Report
  • [Presentation] テスト容易化機能的時間展開モデル生成のためのテスト容易化バインディング法2016

    • Author(s)
      佐藤護・増田哲也・西間木淳・細川利典・藤原秀雄
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都機械振興会館
    • Related Report
      2016 Annual Research Report
  • [Presentation] 静的テスト圧縮のための多重目標故障テスト生成を用いたMバイNアルゴリズム2015

    • Author(s)
      原 侑也・山崎紘史・細川利典・吉村正義
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      長崎県勤労福祉会館(長崎県・長崎市)
    • Year and Date
      2015-12-01
    • Related Report
      2015 Research-status Report
  • [Presentation] A Sequence Generation Method to Detect Hardware Trojan Circuits2015

    • Author(s)
      Masayoshi Yoshimura, Tomohiro Bouyashiki , Toshinori Hosokawa
    • Organizer
      16th IEEE Workshop on RTL and High Level Testing 2015
    • Place of Presentation
      Mumbai India
    • Year and Date
      2015-11-25
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] A Fault Diagnosis Method for a Single Universal Logical Fault Model Using Multi Cycle CaptureTest Sets2015

    • Author(s)
      Hideyuki Takano, Hiroshi Yamazaki, Toshinori Hosokawa, Koji Yamazaki
    • Organizer
      16th IEEE Workshop on RTL and High Level Testing
    • Place of Presentation
      Mumbai India
    • Year and Date
      2015-11-25
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Don’t Care Filling Method to Reduce Capture Power based on Correlation of FF Transitions2015

    • Author(s)
      Masayoshi Yoshimura, Yoshiyasu Takahashi, Hiroshi Yamazaki, Toshinori Hosokawa
    • Organizer
      24th IEEE ASIAN TEST SYMPOSIUM
    • Place of Presentation
      Mumbai India
    • Year and Date
      2015-11-23
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] A Test Generation Method for Data Paths Using Easily Testable Functional Time Expansion Models and Controller Augmentation2015

    • Author(s)
      Tetsuya Masuda, Jun Nishimaki, Toshinori Hosokawa, Hideo Fujiwara
    • Organizer
      24th IEEE ASIAN TEST SYMPOSIUM
    • Place of Presentation
      Mumbai India
    • Year and Date
      2015-11-23
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] VLSI設計工程時における未遷移信号線情報に基づいたトロイ回路検出法2015

    • Author(s)
      坊屋鋪知拓,細川利典,吉村正義
    • Organizer
      情報処理学会 DAシンポジウム2015
    • Place of Presentation
      ゆのくに天祥(石川県・加賀市)
    • Year and Date
      2015-08-26
    • Related Report
      2015 Research-status Report
  • [Presentation] マルチサイクルキャプチャテスト集合を用いた単一ユニバーサル論理故障モデルの故障診断法2015

    • Author(s)
      高野秀之・山崎紘史・細川利典・山崎浩二
    • Organizer
      第73回FTC研究会
    • Place of Presentation
      椿館(青森県・青森市)
    • Year and Date
      2015-07-16
    • Related Report
      2015 Research-status Report
  • [Presentation] コントローラ拡大に基づくデータパスのテスト容易化機能的時間展開モデル生成法2015

    • Author(s)
      増田哲也・西間木淳・細川利典・藤原秀雄
    • Organizer
      第73回FTC研究会
    • Place of Presentation
      椿館(青森県・青森市)
    • Year and Date
      2015-07-16
    • Related Report
      2015 Research-status Report
  • [Presentation] BASTにおけるスキャンスライスに基づくテストデータ削減法2015

    • Author(s)
      錦織 誠・山崎紘史・細川利典・新井雅之・吉村正義
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      機械振興会館(東京都・港区)
    • Year and Date
      2015-06-16
    • Related Report
      2015 Research-status Report
  • [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
    • Related Report
      2014 Research-status Report
  • [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
    • Related Report
      2014 Research-status Report
  • [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
    • Related Report
      2014 Research-status Report
  • [Presentation] 信号非遷移情報に基づくトロイ回路検出法2015

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

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

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

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

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

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

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

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

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

    • Author(s)
      山崎紘史・西間木淳・細川利典・吉村正義
    • Organizer
      電子情報通信学会デザインガイア2014
    • Place of Presentation
      大分県
    • Year and Date
      2014-11-26 – 2014-11-28
    • Related Report
      2014 Research-status Report
  • [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
    • Related Report
      2014 Research-status Report
  • [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
    • Related Report
      2014 Research-status Report
  • [Presentation] マルチサイクルキャプチャテストの消費電力評価2014

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

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

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

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

URL: 

Published: 2014-04-04   Modified: 2018-03-22  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi