| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-06-20 15:15 テスト容易化機能的時間展開モデル生成のためのテスト容易化バインディング法 ○佐藤 護・細川利典・増田哲也・西間木 淳（日大）・藤原秀雄（阪学院大）  DC2016-14 |
|
| 抄録 | （和） | データパスを対象とした効率的なテスト生成手法として，テスト容易化機能的時間展開モデルを用いたテスト生成法が提案されている．テスト容易化機能的時間展開モデルを用いたテスト生成法では，データパス回路に対して複数の時間展開モデルを生成し，テスト生成を行う．さらに，生成されたテスト容易化機能的時間展開モデルの動作を制御するために，コントローラの拡大が実行される．しかしながら，データパスの回路構造がテスト容易でなければ，コントローラ拡大による時間展開数の小さいテスト容易化機能的時間展開モデルの生成は困難である．本論文では，データパスの回路構造のテスト容易性を評価する尺度として，演算器入出力順序深度を提案し，その演算器入出力順序深度を削減するためのテスト容易化バインディング法を提案する．ベンチマーク回路に対する回路に対する実験結果は，提案したバインディング法がテスト容易性を考慮しないで動作合成をした回路と比較をし，演算器入出力順序深度，故障検出率，テスト生成時間に対して効果的であることを示す． |
| （英） | A test generation method for datapaths using easily testable functional time expansion models was proposed as efficient algorithms. In the test generation method, several easily testable time expansion models are generated for datapaths and test sequences are generated using the models. Moreover, controller augmentation is performed to make the behavior of easily testable functional time expansion models controllable. However, if circuit structures of datapaths are not easily testable, it is hard to generate easily testable functional time expansion models with small numbers of time expansion by controller augmentation. In this paper, sequential depths for inputs and an output for operational units are proposed as testability measures for circuit structures of datapaths and a binding method for testability to reduce the sequential depths is proposed. Experimental results for benchmark circuits show that the proposed binding method is effective for sequential depths of operational units, fault coverage, and test generation time, compared to conventional binding methods without testability consideration. | |
| キーワード | （和） | 動作合成 / テスト生成 / テスト容易化機能的時間展開モデル / 演算器入出力順序深度 / バインディング / / / |
| （英） | high-level synthesis / test generation / easily testable functional time expansion models / sequential depths of inputs and an output for operational units / binding / / / | |
| 文献情報 | 信学技報, vol. 116, no. 108, DC2016-14, pp. 25-30, 2016年6月. | |
| 資料番号 | DC2016-14 | |
| 発行日 | 2016-06-13 (DC) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | DC2016-14 |
|
| 研究会情報 | |
| 研究会 | DC |
| 開催期間 | 2016-06-20 - 2016-06-20 |
| 開催地（和） | 機械振興会館 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 設計/テスト/検証および一般 |
| テーマ（英） | Design, Test, Verification, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2016-06-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | テスト容易化機能的時間展開モデル生成のためのテスト容易化バインディング法 |
| サブタイトル（和） | |
| タイトル（英） | A Binding Method for Testability to Generate Easily Testable Functional Time Expansion Models |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 動作合成 / high-level synthesis |
| キーワード(2)（和/英） | テスト生成 / test generation |
| キーワード(3)（和/英） | テスト容易化機能的時間展開モデル / easily testable functional time expansion models |
| キーワード(4)（和/英） | 演算器入出力順序深度 / sequential depths of inputs and an output for operational units |
| キーワード(5)（和/英） | バインディング / binding |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 佐藤 護 / Mamoru Sato / サトウ マモル |
| 第1著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 細川 利典 / Toshinori hosokawa / ホソカワ トシノリ |
| 第2著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 増田 哲也 / Tetsuya Masuda / マスダ テツヤ |
| 第3著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 西間木 淳 / Jun Nishimaki / ニシマキ ジュン |
| 第4著者 所属（和/英） | 日本大学 (略称： 日大) Nihon University (略称： Nihon Univ.) |
| 第5著者 氏名（和/英/ヨミ） | 藤原 秀雄 / Hideo Fujiwara / フジワラ ヒデオ |
| 第5著者 所属（和/英） | 大阪学院大学 (略称： 阪学院大) Osaka Gakuin Univ. (略称： Osaka Gakuin Univ.) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-06-20 15:15:00 |
| 発表時間 | 25分 |
| 申込先研究会 | DC |
| 資料番号 | DC2016-14 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | no.108 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2016-06-13 (DC) |
[研究会発表申込システムのトップページに戻る]