2月13日(水) 午前 テスト生成 座長: 細川 利典(日本大) 10:00 - 10:50 |
(1) |
10:00-10:25 |
解の再利用によるテスト生成のためのハードウェアSATソルバの実装 |
○向井俊矢・上田健司・岩垣 剛・市原英行・井上智生(広島市大) |
(2) |
10:25-10:50 |
SATソルバを用いたテスト生成の高速化手法について |
○松永裕介(九大) |
|
10:50-11:10 |
休憩 ( 20分 ) |
2月13日(水) 午前 欠陥検出能力評価 座長: 四柳 浩之(徳島大) 11:10 - 12:00 |
(3) |
11:10-11:35 |
クリティカルエリア解析に基づく故障カバレージ見積りに関する一考察 |
○清水貴弘・中山裕太・新井雅之・岩崎一彦(首都大東京) |
(4) |
11:35-12:00 |
縮退故障テスト集合と遷移故障テスト集合を用いた欠陥検出能力向上のためのドントケア割当て法 |
○若杉諒介・細川利典(日大)・吉村正義(九大) |
|
12:00-13:30 |
休憩 ( 90分 ) |
2月13日(水) 午後 遅延テスト 座長: 井上 智生(広島市大) 13:30 - 14:20 |
(5) |
13:30-13:55 |
半断線故障検出のための信号遅延の特性評価 |
○大栗裕人・四柳浩之・橋爪正樹(徳島大)・堤 利幸・山崎浩二(明大)・樋上善信・高橋 寛(愛媛大) |
(6) |
13:55-14:20 |
隣接TSVを考慮したTSV遅延故障検出法について |
○中村真規・四柳浩之・橋爪正樹(徳島大) |
|
14:20-14:40 |
休憩 ( 20分 ) |
2月13日(水) 午後 セキュリティとテスト 座長: 井上 美智子(奈良先端大) 14:40 - 15:30 |
(7) |
14:40-15:05 |
AES暗号回路におけるトロイ回路設計の影響評価およびその一考察 |
○荻田英実・細川利典(日大)・吉村正義(九大) |
(8) |
15:05-15:30 |
テスト応答圧縮器のセキュリティ評価の一手法 |
○吉村正義・松永裕介(九大) |
|
15:30-15:50 |
休憩 ( 20分 ) |
2月13日(水) 午後 フィールドテストと許容故障判定 座長: 新井 雅之(首都大東京) 15:50 - 17:05 |
(9) |
15:50-16:15 |
エラートレラントアプリケーションのための論理回路簡単化における必須割当てを利用した許容故障判定法 |
○松木伸伍・亀井惇平・岩垣 剛・市原英行・井上智生(広島市大) |
(10) |
16:15-16:40 |
モニタ回路による製造バラツキを考慮した温度・電圧推定手法 |
○三宅庸資・津森 渉・佐藤康夫・梶原誠司(九工大)・三浦幸也(首都大東京) |
(11) |
16:40-17:05 |
フィールドでの組込み自己テストにおける不定値処理に関するデータ量の削減手法 |
○吉見優太(奈良先端大)・畠山一実・大和勇太・米田友和・井上美智子(奈良先端大/JST) |