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

超高性能VLSIの論理設計とテスト方式に関する研究

研究課題

研究課題/領域番号 11694168
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 計算機科学
研究機関九州工業大学

研究代表者

笹尾 勤  九州工業大学, 情報工学部, 教授 (20112013)

研究分担者 梶原 誠司  九州工業大学, 情報工学部, 助教授 (80252592)
研究期間 (年度) 1999 – 2001
研究課題ステータス 完了 (2001年度)
配分額 *注記
3,400千円 (直接経費: 3,400千円)
2001年度: 600千円 (直接経費: 600千円)
2000年度: 1,100千円 (直接経費: 1,100千円)
1999年度: 1,700千円 (直接経費: 1,700千円)
キーワード高性能VLSI / 論理設計 / 二分決定グラフ / 遅延テスト / パス遅延故障 / パス選択 / テストパターン生成 / 遅延故障テスト / テスト生成 / ドント・ケア / テストデータ圧縮 / ハフマン符号 / テストパターン変換 / VLSI / 故障検査 / 遅延故障 / BDD
研究概要

VLSIの高速化・高集積化が進む一方で,製造したVLSIにノイズ,プロセス,電力などに起因した遅延ばらつきの問題が多く発生し,製造において生じる欠陥もタイミングに影響するものが多くなっている.本研究では,高性能VLSIに高い信頼性を確保するため,タイミングに影響する誤動作をテスト可能とする設計とテスト方式の研究を行った.タイミングに影響する誤動作の代表的なものにパス遅延故障がある.パス遅延故障に対するテスト生成において,テスト不要なパスを前もって指摘することはその効率化に重要な役割を果たす.本研究では,まず,高速にテスト不能パスを識別する手法を開発した.パス数の多い回路に対するテスト不要パスの識別には従来多大な処理時間を要していたが,提案手法は,本手法は従来手法と比較して短時間で計算でき,テスト不要なパスの判定能力はほぼ同等であることを示した.また,テストの必要性が高い,故障の生じやすいパスの集合を算出するアルゴリズムを開発し,テスト生成手法と合わせて提案した.次に,パス遅延故障のようなフリップフロップのセットアップエラーを生じる故障でなく,ホールドエラーにより生じるショートパスディレイ故障のテストについて研究した.パス遅延故障におけるパス活性化条件と比較しながら,ショートパスディレイ故障におけるパス活性化条件を考察し,テスト生成手法を提案した.更に,低速なLSIテスタを用いて高速VLSIのタイミングに影響する故障をテストするための設計とテスト方式について研究した.低速なLSIテスタを用いる場合,テストパターンデータの圧縮が重要となるが,本研究では,高いデータ圧縮率を得るためテストパターン中のドントケアを判定する技術を開発した.また,ドントケア値を含むデータの符号化アルゴリズムを考案し,実験によりその有効性を示した.

報告書

(4件)
  • 2001 実績報告書   研究成果報告書概要
  • 2000 実績報告書
  • 1999 実績報告書
  • 研究成果

    (31件)

すべて その他

すべて 文献書誌 (31件)

  • [文献書誌] 梶原誠司: "論理回路における遅延テスト不要パスの高速導出法"電子情報通信学会論文誌D・I. J82-D-I・7. 888-896 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] T.Sasao: "Worst and best irredant sum-of-products expressions"IEEE Transactions on Computers. 50・9. 935-948 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] R.S.Stankovic: "A discussion on the history of research in arithmetic and Reed-Muller expressions"IEEE Transactions on CAD. 20・9. 1177-1179 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] 梶原誠司: "最小テスト集合でテスト可能な加算器について"情報処理学会論文誌. 42・4. 1045-1053 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] 井口幸洋: "決定グラフに基づく論理関数の評価システム"電子情報通信学会論文誌D-I. J84-D-I・6. 523-530 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Kohei Miyase: "A Method of Static Test Compaction Based on Don't Care Identification"情報処理学会論文誌. (採録決定). (2002)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] S.Hassoun, T.Sasao: "Kluwer Publishers"Logic Synthesis and Verification. 454 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] S. Kajihara, K. Kinoshita, I. Pomeranz, and S.M. Reddy: "A method for fast identification of unnecessary-to-test parths for delay faults"IEICE Trans. Information and Communication Eng.. Vol.J82-D-I,No.7. 888-896 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] T. Sasao and J.T. Butler: "Worst and best irredundant sum-of-products expressions"IEEE Transactions on Computers. Vol.50,No.9. 935-948 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] R.S. Stankovic and T. Sasao: "A discussion on the history of research in arithmetic and Read-Muller expressions"IEEE Transactions on CAD. Vol.20,No.9. 1177-1179 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] S. Kajihara and T. Sasao: "On the Adders with Minimum Tests"IPSJ Journal. Vol.42,No.4. 1045-1053 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y. Iguchi, T. Sasao, M. Matsuura, and A. Iseno: "An Evaluation System for Logic Functions Based on Decision Diagrams"IEICE Trans, Information and Communication Eng.. Vol.J84-D-I,No.6. 523-530 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] K. Miyase, S. Kajihara and S.M. Reddy: "A Method of Static Test Compaction Based on Don't Care Identification"IPSJ Journal. Vol.43,No.5(Accpeted). (2002)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] S. Hassoun and T. Sasao: "Logic Synthesis and Verification"Kluwer Publishers. (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] T.Sasao: "Worst and best irredundant sum-of-products expressions"IEEE Transactions on Computers. 50・9. 935-948 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] R.S.Stankovie: "A discussion on the history of research in arithmetic and Reed-Muller expressions"IEEE Transactions on CAD. 20・9. 1177-1179 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] 梶原誠司: "最小テスト集合でテスト可能な加算器について"情報処理学会論文誌. 42・4. 1045-1053 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] 井口幸洋: "決定グラフに基づく論理関数の評価システム"電子情報通信学会論文誌D-I. J84-D-I・6. 523-530 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Kohei Miyase: "A Method of Static Test Compaction Based on Don't Care Identification"情報処理学会論文誌. (採録決定). (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] S.Hassoun, T.Sasao: "Kluwer Publishers"Logic Synthesis and verification. 454 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Hafiz Md.Hasan Babu: "Heuristics to minimize multiple-valued decision diagrams"IEICE Trans.Fundamentals. E83-A・12. 2498-2504 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Hideyuki Ichihara: "On Processing Order for Obtaining Implication Relations in Static Learning"IEICE Trans.Info.and Syst.. E83-D・10. 1908-1911 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 浅川毅: "トランジション故障を検出するBIST指向テストパターン発生回路"電子情報通信学会論文誌D-I. J84-D-I・2. 165-172 (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 井口幸洋: "決定グラフに基づく論理関数の評価システム"電子情報通信学会論文誌D-I. (採録決定). (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 梶原誠司: "最小テスト集合でテスト可能な加算器について"情報処理学会論文誌. (採録決定). (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 市原 英行: "テスト数制限下でのテスト生成手法について"電子情報通信学会論文誌D-1. J98-D-1・7. 861-868 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 梶原 誠司: "論理回路における遅延テスト不要パスの高速導出法"電子情報通信学会論文誌D-1. J98-D-1・7. 888-896 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Hafiz Md.Hasan Babu: "Representations of multiple-output functions using binary decision diagrams for characteristic functions"IEICE Trans,Fundamentals. E82-A・11. 2398-2406 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Hafiz Md.Hasan Babu: "Time-division multiplexing realizations of multiple-output functions based on shared multi-terminal multipe-valued decision diagrams"IEICE Trans,Information and Systems. E82-D・5. 925-932 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 井口 幸洋: "入力の一部が不明である場合の論理関数のハードウェアを用いた評価法"電子情報通信学会論文誌. J82-D-1・7. 834-842 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T.Sasao: "Switching Theory for Logic Synthesis"Kluwer Academic Publishers. 362 (1999)

    • 関連する報告書
      1999 実績報告書

URL: 

公開日: 1999-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi