無閉路可検査性に基づくテスト生成のための最適スルー木集合構成法  [in Japanese] An Optimization of Thru Trees for Test Generation Based on Acyclical Testability  [in Japanese]

Search this Article

Author(s)

Abstract

無閉路順序回路のクラスはτ^2-boundedであり,実用的にテスト容易と考えられている[2],[3].さらに,τ^2-boundedでありながら,無閉路順序回路より広いクラスとして,無閉路可検査順序回路[4],拡張無閉路順序回路[5]が提案されている.これらの順序回路の条件は,主にスルー機能で定義されており,一般の順序回路に対して,これらのクラスに基づくテスト容易化設計はスルー機能の付加によって実現できる.よって,そのハードウエアオーバヘッドは,従来の完全スキャン設計に比べて大きく削減できる.本研究では,与えられた順序回路が拡張無閉路可検査性を満たすために付加する必要のあるスルーコストを最小化するための最適スルー木構成法について考察する.拡張無閉路可検査性に基づくテスト容易化設計における最適スルー木集合を求める問題を定式化し,その問題を整数計画問題として表現する.実験により,本手法の有効性を示すとともに,拡張無閉路可検査性の有効性を確認する.

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.

Journal

  • IEICE technical report

    IEICE technical report 107(337), 13-18, 2007-11-13

    The Institute of Electronics, Information and Communication Engineers

References:  7

Codes

  • NII Article ID (NAID)
    110006533957
  • NII NACSIS-CAT ID (NCID)
    AA11645397
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    9291344
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top