フリップフロップ組合せの状態正当化による到達不能状態を用いた順序回路のテスト不能故障判定法

• Item type: Symposium(1)
• 公開日: 2017-08-23
• タイトル: フリップフロップ組合せの状態正当化による到達不能状態を用いた順序回路のテスト不能故障判定法
• タイトル / 言語: en
• タイトル: An Untestable Fault Identification Method for Sequential Circuits Using Unreachable States by Justification of State Cubes
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 信頼性・ばらつき
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 日本大学大学院生産工学研究科
• 著者所属: 日本大学生産工学部
• 著者所属: 京都産業大学コンピュータ理工学部
• 著者所属: 日本大学生産工学部
• 著者所属: 日本大学生産工学部
• 著者所属: 徳島大学大学院社会産業理工学研究部
• 著者所属: 徳島大学大学院社会産業理工学研究部
• 著者所属(英): en
• 著者所属(英): Graduate School of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): College of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): College of Faculty of Computer Science and Engineering, Kyoto Sangyo University
• 著者所属(英): en
• 著者所属(英): College of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): College of Industrial Technology, Nihon University
• 著者所属(英): en
• 著者所属(英): Graduate School of Technology, Industrial and Social Sciences, Tokushima University
• 著者所属(英): en
• 著者所属(英): Graduate School of Technology, Industrial and Social Sciences, Tokushima University
• 著者名: 二関, 森人; 細川, 利典; 吉村, 正義; 山崎, 紘史; 新井, 雅之; 四柳, 浩之; 橋爪, 正樹
• 著者名(英): Morito, Niseki; Toshinori, Hosokawa; Masayoshi, Yoshimura; Hiroshi, Yamazaki; Masayuki, Arai; Hiroyuki, Yotsuyanagi; Masaki, Hashizume
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: テストコストの削減やセキュリティ向上のため，スキャン設計を用いない非スキャン設計ベースのテストの要望がある．しかしながら，順序回路のテスト生成では，高い故障検出効率を得るために多大なテスト生成時間を要する．特にテスト不能故障判定時間が支配的である．そのため，テスト生成の前処理で，テスト不能故障を判定することが重要である．本論文では，SAT を用いて数個のフリップフロップ組合せの状態が到達不能状態か否かを判定し，その到達不能状態を用いたテスト不能故障判定法を提案する．また，既存の順序回路のテスト不能故障判定法と提案手法を組み合わせて，ISCAS' 89 及び ITC' 99 ベンチマーク回路においてテスト不能故障を判定し，評価する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Non-scan based test generation is required for the purpose of resolving reduction of test cost and improvement of security. However, in the test generation of the sequential circuit, it consumes a lot of test generation time to obtain high fault efficiency. Especially, untestable fault identification time is dominant. Therefore, it is important to identify untestable faults in the pre-processing of the test generation. In this paper, an unreachable state identification method, which identifies whether states on a few flip-flops can be justified using SAT, and an untestable fault identification method using the unreachable states are proposed. Moreover, untestable faults are identified by applying the combination of conventional methods and our proposed method to ISCAS' 89 and ITC' 99 benchmark circuits, and the number of untestable faults is evaluated.
• 書誌情報: DAシンポジウム2017論文集; 巻 2017, p. 186-191, 発行日 2017-08-23
• 出版者 / 言語: ja
• 出版者: 情報処理学会