楽観/悲観構造的記号シミュレーションを用いたテスト並列化のためのドントケア割当て及びテストスケジューリング法

• Item type: SIG Technical Reports(1)
• 公開日: 2024-08-01
• タイトル: 楽観/悲観構造的記号シミュレーションを用いたテスト並列化のためのドントケア割当て及びテストスケジューリング法
• タイトル / 言語: en
• タイトル: X-Filling and Test Scheduling Methods for Concurrent Testing Using Optimistcally/Pessmistically Strucural Symbolic Simulation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: コンパイラ・最適化
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 日本大学大学院生産工学研究科
• 著者所属: 日本大学生産工学部
• 著者所属: 京都産業大学情報理工学部
• 著者所属: 日本大学生産工学部
• 著者所属(英): en
• 著者所属(英): Graduate School of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): College of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Engineering, Kyoto Sangyo University
• 著者所属(英): en
• 著者所属(英): College of Industrial Technology, Nihon University
• 著者名: 徳田, 晴太; 細川, 利典; 吉村, 正義; 新井, 雅之
• 著者名(英): Haruta, Tokuta; Toshinori, Hosokawa; Masayoshi, Yoshimura; Masanori, Arai
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，VLSI のテストコスト増大に伴い，テストパターン数の削減が重要になっている．テストパターン数を削減するためのレジスタ転送レベルでのテスト容易化設計手法が提案されている．その手法はデータパスの中のハードウェア要素を並列にテストすることを目的として，コントローラの状態遷移時にデータパスに供給される制御信号中のドントケア値に，論理値を割当てる．従来手法は，できる限り少数の状態遷移を用いて，できる限り多数のハードウェア要素をテストすることでテストパターン数の削減を図っている．本論文では，多数のテストパターンを必要とするハードウェア要素である演算器に着目し，できる限り多数の状態遷移で演算器を並列テストするようなドントケア割当て手法を提案し，さらにデータパスの推定テストパターン数を最小化するために，各状態遷移で生成するテストパターン数を決定するテストスケジューリング手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In recent years, with the increasing test cost of VLSIs, it has become important to reduce the number of test patterns. Design-for-testability methods at register transfer level have been proposed to reduce the number of test patterns. The methods aim to concurrently test hardware elements in a data-path by assigning logical values to don't-care values (Xs) in control signals supplied to the data-path when a controller transitions between states. The conventional method aims to reduce the number of test patterns by testing as many hardware elements as possible using as few state transitions as possible. In this paper, we focus on operational units, which are hardware elements that require a large number of test patterns, and propose a X-filling method that concurrently tests operational units with as many state transitions as possible. We also propose a test scheduling method that determines the number of test patterns to be generated at each state transition in order to minimize the estimated number of test patterns for data-paths from controllers with X-filling.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 研究報告システム・アーキテクチャ（ARC）; 巻 2024-ARC-258, 号 14, p. 1-6, 発行日 2024-08-01
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8574
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会