| Item type |
テクニカルレポート / Technical Report_02(1) |
| 公開日 |
2023-05-26 |
| タイトル |
|
|
タイトル |
無閉路可検査性に基づくテスト生成のための最適スルー木集合構成法 |
| タイトル |
|
|
タイトル |
An Optimization of Thru Trees for Test Generation Based on Acyclical Testability |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題 |
テスト生成 |
| キーワード |
|
|
主題 |
テスト容易化設計 |
| キーワード |
|
|
主題 |
無閉路可検査性 |
| キーワード |
|
|
主題 |
拡張無閉路可検査性 |
| キーワード |
|
|
主題 |
整数計画問題 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者 |
森永, 広介
岡, 伸也
吉川, 祐樹
市原, 英行
井上, 智生
MORINAGA, Kohsuke
OKA, Nobuya
YOSHIKAWA, Yuki
ICHIHARA, Hideyuki
INOUE, Tomoo
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
無閉路順序回路のクラスはτ^2-boundedであり,実用的にテスト容易と考えられている[2],[3].さらに,τ^2-boundedでありながら,無閉路順序回路より広いクラスとして,無閉路可検査順序回路[4],拡張無閉路順序回路[5]が提案されている.これらの順序回路の条件は,主にスルー機能で定義されており,一般の順序回路に対して,これらのクラスに基づくテスト容易化設計はスルー機能の付加によって実現できる.よって,そのハードウエアオーバヘッドは,従来の完全スキャン設計に比べて大きく削減できる.本研究では,与えられた順序回路が拡張無閉路可検査性を満たすために付加する必要のあるスルーコストを最小化するための最適スルー木構成法について考察する.拡張無閉路可検査性に基づくテスト容易化設計における最適スルー木集合を求める問題を定式化し,その問題を整数計画問題として表現する.実験により,本手法の有効性を示すとともに,拡張無閉路可検査性の有効性を確認する. |
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
The class of acyclic sequential circuits is τ^2-bounded, i.e., acyclic sequential circuits are practically easily testable [2], [3]. Further, classes of acyclically testable sequential circuits [4] and extended acyclically testable ones [5], which are larger than that of acyclic sequential circuits, have been proposed. A key condition for acyclical/extended acyclical testability is defined mainly by means of thru functions, and hence, a given sequential circuit can be modified into such testable circuits by adding thru functions. Consequently, the DFT overhead can be reduced compared to conventional full scan design. This paper presents a method for implementing optimal thru trees which minimize the hardware cost required for extended acyclical testability of a given sequential circuits. We formulate the optimization problem on design for testability with thru trees based on extended acyclical testability, and express the formulation as an integer linear programming (ILP) model. Experimental results show the effectiveness of our formulation, and also demonstrate the effectiveness of the class of extended acyclical testability. |
| 書誌情報 |
情報処理学会研究報告. SLDM, [システムLSI設計技術]
巻 2007,
号 114,
p. 13-18
|
| 出版者 |
|
|
出版者 |
情報処理学会 |
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
09196072 |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11451459 |
| 権利 |
|
|
権利情報 |
本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 |
| 権利 |
|
|
権利情報 |
The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. |
| 関連サイト |
|
|
|
識別子タイプ |
URI |
|
|
関連識別子 |
http://www.ipsj.or.jp/ |
|
|
関連名称 |
情報処理学会 |
| フォーマット |
|
|
内容記述タイプ |
Other |
|
内容記述 |
application/pdf |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
110006533255.pdf (726.7 kB)
