無閉路順序回路のクラスはτ^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.