English / Japanese

平成 20 年度 ( 21 年 3 月) 修了

     
  • 植本 雄一 (図書館)
  • "RTLパス数最小化のためのリソースバインディング法"

  • 清水 祐紀 (図書館)
  • "機能記述レジスタ転送レベル回路のテスト環境生成法"

  • 鈴木 健司 (図書館)
  • "Studies on Mutual Exclusion Algorithm with Skipping Arbitration Tree for Shared Memory System"

  • 武田 康臣
  • "シミュレーティド・アニーリング手法と最小カット法による立ち位置指定問題の解法"

  • 吉田 宜司 (図書館)
  • "再構成可能ラッパーを用いたマルチクロック・ドメイン・コアのテスト時間最適化"

平成 20 年度 ( 20 年 9 月) 修了

     
  • 岩田 大志 (図書館)
  • "機能等価性情報を用いたレジスタ転送レベルからゲートレベルへのパスマッピング"

平成 19 年度 ( 20 年 3 月) 修了

     
  • 池田 直嗣 (図書館)
  • "高位合成情報を用いたRTLフォールスパス判定に関する研究"

平成 18 年度 ( 19 年 3 月) 修了

     
  • 福田 雄介[概要] (図書館)
  • "メモリコアに対する組込み自己修復を考慮したSoCのテストスケジューリングに関する研究"

  • 星野 貴昭[概要] (図書館)
  • "組合せ回路テスト生成アルゴリズムに用いる制限シフトスキャンのための制約設定法に関する研究"

  • Vorayos Thongtan[概要] (図書館)
  • "Studies on False Path Identification Using Assignment Decision Diagrams"

平成 18 年度 ( 18 年 9 月) 修了

     
  • Yu Thomas Edison Chua[概要](図書館)
  • "Studies on power-aware wrapper design for multi-clock domain cores using clock domain partitioning"

平成 17 年度 ( 18 年 3 月) 修了

     
  • 川口 渉[概要] (図書館)
  • "データパス遅延故障テストのための直交スキャン設計に関する研究"

  • 田中 裕[概要] (図書館)
  • "消費電力を考慮したマルチクロックドメインコアに対する再構成可能ラッパー設計に関する研究"

  • 矢葺 光佑[概要] (図書館)
  • "特定用途を考慮したFPGA相互接続遅延テストに関する研究"

  • 山形 信博[概要] (図書館)
  • "非パイプラインプロセッサの命令レベル自己テストのためのテスト容易化設計に関する研究"

平成 16 年度 ( 17 年 3 月) 修了

     
  • 今西 真博[概要](PDF file)
  • "再構成可能結合ラッパーを用いたSoCのテストスケジューリングに関する研究"

  • 岩田 浩幸[概要](PDF file)
  • "完全故障検出効率を保証する部分強可検査性に基づくテスト容易化設計法に関する研究"

  • 中里 昌人[概要](PDF file)
  • "テスト容易化合成情報に基づく順序回路テスト生成の高速化に関する研究"

  • 増田 公彦[概要](PDF file)
  • "消費電力を考慮したマルチクロックドメインSoCのテストスケジューリングに関する研究"

  • 村田 優[概要](PDF file)
  • "ビット幅調整機能を用いたデータパスのテスト容易化設計法に関する研究"

  • 横山 真也[概要](PDF file)
  • "パイプラインプロセッサ自己テストのための命令テンプレート生成に関する研究"

  • 吉川 祐樹[概要](PDF file)
  • "単一端子変化遅延テストに基づくデータパスのテスト容易化設計に関する研究"

  • 李 g[概要] (PDF file)
  • "Studies on Low Power Partial Scan BIST for RTL Data paths"

平成 15 年度 ( 16 年 3 月) 修了

     
  • 高桑 寿一[概要](PDF file)
  • "連続可検査性に基づくシステムオンチップの面積オーバヘッドとテスト実行時間の相互最適化に関する研究"

  • 帆足 尚孝[概要](PDF file)
  • "マイクロプロセッサ自己テストのためのコントローラ入力時相空間制約"

平成 14 年度 ( 15 年 3 月) 修了

     
  • 内山 哲夫[概要](PS file)
  • "連続可検査性に基づくシステムオンチップの面積オーバヘッドとテスト実行時間の相互最適化に関する研究"

平成 13 年度 ( 14 年 3 月) 修了

     
  • 岩垣 剛[概要](PS file)
  • "不連続再収斂順序回路のパス遅延故障に対するテスト生成に関する研究"

  • 梅谷 真也[概要](PS file)
  • "非同期共有メモリシステムにおけるポイント競合度適応型繰り返し改名アルゴリズムに関する研究"

  • 大谷 浩平[概要](PS file)
  • "縮退故障のテスト生成アルゴリズムを用いたパス遅延故障のテスト生成に関する研究"

  • 岡本 紘征[概要](PS file)
  • "レジスタ転送レベル回路に対するテストプラン埋め込み型テスト容易化設計法に関する研究"

  • 神野 元彰[概要](PS file)
  • "ホールドとスイッチの機能を考慮した内部平衡構造に関する研究"

平成 12 年度 ( 13 年 3 月) 修了

     
  • 鈴木 和博[概要] (PS file)
  • "コントローラの機能を利用したデータパスのテスト容易化設計に関する研究"

  • 高先 学[概要] (PS file)
  • "システムオンチップの IP コアと周辺回路のテスト法に関する研究"

  • 三輪 俊二郎[概要] (PS file)
  • "組合せテスト生成複雑度でパス遅延故障テスト生成可能な順序回路のクラスに関する研究"

  • 山口 賢一[概要] (PS file)
  • "レジスタ転送レベルデータパスの単一制御並行可検査性に基づく組込み自己テストに関する研究"

  • 米田 友和[概要] (PS file)
  • "連続可検査性に基づくコアベース・システムオンチップのテスト容易化設計法に関する研究"

平成 11 年度 ( 12 年 3 月) 修了

     
  • 井筒 稔[概要] (PS file)
  • "レジスタ転送レベルデータパスの単一制御可検査性に基づく組込み自己テストに関する研究"

  • 圓道 浩史[概要] (PS file)
  • "非同期式共有メモリシステムにおける改名アルゴリズムに関する調査"

  • 谷口 博人[概要] (PS file)
  • "アドホックネットワークにおけるクラスタ構成法に関する研究"

  • 永井 慎太郎[概要] (PS file)
  • "固定制御可検査性に基づく RTL 回路の非スキャンテスト容易化設計法に関する研究"

  • 長谷川 学[概要] (PS file)
  • "ヒープ順序づき木を構成する自己安定プロトコルに関する研究"

平成 10 年度( 11 年 3 月)修了

     
  • 浮穴 学慈[概要] (PS file)
  • "自己安定 k-相互排除プロトコルに関する研究"(English)<

  • 大坪 裕[概要] (PS file)
  • "内蔵プロセッサを利用したマイクロコントローラのテスト高速化に関する研究"

  • 川嶋 奈緒美[概要] (PS file)
  • "無閉路直交部分スキャンアルゴリズムに関する研究"

  • 佐野 ちいほ[概要] (PS file)
  • "ホールド機能を考慮した順序回路のテスト容易化設計に関する研究"

  • 須田 克朗[概要] (PS file)
  • "線形化可能性を保証する共有レジスタの無待機な実現に関する研究"

  • 寺田 雅人[概要] (PS file)
  • "分散移動システムにおける全域チェックポイントに関する研究"

平成 9 年度 ( 10 年 3 月) 修了

     
  • 大堀 力[概要] (PS file)
  • "分散移動システムにおける前後関係保存放送プロトコルに関する研究"

  • 清沢 尚玄[概要] (PS file)
  • "直交スキャンパスを用いた部分スキャン設計に関する研究"

  • 東村 剛嗣[概要] (PS file)
  • "弱可検査性のための設計目標抽出を利用したデータパス高位合成に関する研究"

  • 三原 隆宏[概要] (PS file)
  • "L/H 型レジスタを有する無閉路順序回路のテスト生成法に関する研究"

  • 和田 弘樹[概要] (PS file)
  • "完全故障検出効率を保証するデータパスの非スキャンテスト容易化設計法に関する研究"

平成 8 年度 ( 9 年 3 月) 修了

     
  • 石水 隆[概要] (PS file)
  • "選択問題を解くBSPモデル上の並列アルゴリズムに関する研究"

  • 上田 英一郎[概要] (PS file)
  • "安定後の1故障を考慮したリングでの自己安定相互排除プロトコルに関する研究"

  • 大竹 哲史[概要] (PS file)
  • "回路疑似変換を用いた順序回路のテスト生成アルゴリズムに関する研究"

  • 高崎 智也[概要] (PS file)
  • "組合せテスト生成可能な拡張部分スキャン設計に関する研究"

  • 埜田 健治[概要] (PS file)
  • "弱可検査性を考慮したデータパスの高位合成に関する研究"

  • 宮崎 聡士[概要] (PS file)
  • "テーブル参照型FPGAの故障診断とその複雑度に関する研究"

  • 守屋 宣[概要] (PS file)
  • "共有メモリマルチプロセッサシステムおける無待機時計合わせプロトコルに関する研究"

  • 山崎 浩司[概要] (PS file)
  • "状態並列に基づく順序回路テスト生成の並列処理に関する研究"

平成 7 年度 ( 8 年 3 月) 修了

     
  • 佐藤 泰朗[概要] (PS file)
  • "分散移動システムのモデルとスナップショットアルゴリズムに関する研究"

  • 高畠 勝之[概要] (PS file)
  • "スルー演算を用いた非スキャン方式によるデータパスのテスト容易化設計に関する研究"

  • 松井 博義[概要] (PS file)
  • "故障推定機能を利用した永久故障耐性のある自己安定プロトコルに関する研究"

  • 四浦 洋[概要] (PS file)
  • "部分スキャンによる同期化可能な有限状態機械の合成に関する研究"

平成 6 年度 ( 7 年 3 月) 修了

     
  • 藤井 貴晴 (PS file)
  • "テスト生成における並列処理の性能解析に関する研究"

  • 藤原 暁宏 (PS file)
  • "ディジタル画像のための並列アルゴリズムに関する研究"

  • 前田 裕紀 (PS file)
  • "テスト生成における故障スケジューリング問題に関する研究"

  • 吉田 大輔 (PS file)
  • "自立移動ロボット群のための停止故障耐性のある分散型問題解法に関する研究"