• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Testable Design and Diagnosis under Highly Observable Condition

Research Project

Project/Area Number 02452165
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field 情報工学
Research InstitutionOsaka University

Principal Investigator

KINOSHITA Kozo  Osaka University, Professor, 工学部, 教授 (00028995)

Co-Investigator(Kenkyū-buntansha) YASUI Hiroshi  Osaka Sangyo University, Professor (1990), 工学部, 教授 (60029014)
TAKAMATSU Yuzo  Ehime University, Professor, 工学部, 教授 (80039255)
ITAZAKI Noriyoshi  Osaka University, Assistant Professor, 工学部, 助手 (90223073)
KOMATSU Masaharu  Osaka University, Associate Professor (1990-1991), 工学部, 助教授 (90116583)
Project Period (FY) 1990 – 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥6,300,000 (Direct Cost: ¥6,300,000)
Fiscal Year 1992: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1991: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1990: ¥4,600,000 (Direct Cost: ¥4,600,000)
KeywordsTestable Design / Fault Diagnosis / Electron Beam Testing / Highly Observable Testing / LST Testing / 論理回路 / 電子ビ-ムテスト / 診断容易化設計 / テストパタ-ン生成
Research Abstract

The major results obtained from this research are as follows: 1)Testable design of logic circuits under the highly observable condition As testable logic circuits under the highly observable condition, the concept of K-UC NAND circuits has been proposed, and as its extension, the concept of k-UCP circuits has been proposed. Stuck-at faults and stuck-open faults are considered as fault models and it has been shown that the numbers of necessary test patterns for the two fault models are k + 1 and k (k + 1) + 1, respectively. Furthermore, the idea has been extended to the testing of sequential circuits under the highly observable condition and the corresponding testing method has been proposed.
2)Test pattern generation under the highly observable condition Under the highly observable condition, it is assumed that the internal signal lines in a circuit are observable. Thus, it is unnecessary to propagate the effect of faults to primary output lines. As a result, the number of primary input … More lines needed to be assigned logic values for testing a fault becomes small and the generation of the test patterns detecting multiple faults at the same time becomes easy. Furthermore, this method has been applied to the test pattern generation of sequential circuits and it has been shown that the numbers of test patterns are considerably smaller than previous methods.
3)Fault diagnosis under the highly observable condition In order to locate a fault, it is necessary to reduce the size of a fault table to a practical size. In this method, the number of possible faults is reduced by analyzing the response for applying test vector pairs and the number of possible faults positions is reduced by analyzing the responses for applying test vector pairs and the number of repetitively. This method can be used for ordinary combinational circuits and allows the existence of multiple faults as target faults. Besides, this method does not make direct use of a fault table, thus has the advantage of using only a relatively small memory for computation. As the extension of fault diagnosis methods by using an electron beam tester, a method for guided-probe fault diagnosis has been proposed and its effectiveness has been verified by making experiments on benchmark circuits. Less

Report

(4 results)
  • 1992 Annual Research Report   Final Research Report Summary
  • 1991 Annual Research Report
  • 1990 Annual Research Report
  • Research Products

    (42 results)

All Other

All Publications (42 results)

  • [Publications] Wen Xiaoqing: "Fault Detection and of k-UCP Circuits under Totally Observable Condition" 20th Fault-Tolerant Computing Symposium. 382-389 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Logic Circuits under Highly Observable Condition" 1990 International Test Conference. 955-963 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 板橋 徳禎: "全可観測な環境でのLSIテストの故障診断表の構成手法について" 日本学術振興会第132委員会,第113回研究会. 47-51 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 温 暁青: "全可観測な環境でのスキャンパスを有する順序回路の故障検査について" 情報処理学会設計自動化研究会. 91-DA-57. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "Test Pattern Generation of k-UCP Circuits" 4th China Fault-Tolerant Computing Symposium. 119-125 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 樋上 喜信: "全可観測な環境での順序回路のテスト生成について" 信学技報. FTS91-45. 1-8 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 梶原 誠司: "組合せ回路に対するEBT用テストパターンの圧縮について" 日本学術振興会第132委員会,第117回研究会. 47-52 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Sequential Circuits under Highly Observable Condition" IEICE Trans.on Information and Systems. E75-D. 344-341 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Logic Circuits under Highly Observable Condition" IEEE Trans.on Computers. 41. 654-659 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 高松 雄三: "順序回路の前方テスト生成に対する一手法" 電子情報通信学会論文誌D-I. J75-D-I. 846-873 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 板崎 徳禎: "電子ビームテスタを用いた多重縮退故障の位置自動指摘手法について" 日本学術振興会第132委員会,第121回研究会. 56-60 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 柳田 宣広: "活性化入力対を用いた組合せ回路における多重故障の診断について" 信学技報. FTS92-42. 25-32 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing.: "Fault Detection and Diagnosis of k-UCP Circuits under Totally Observable Condition" 20th Fault-Tolerant Computing Symposium. 382-389 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Logic Circuits under Highly Observable Condition" 1990 International Test Conference. 955-963 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Noriyoshi Itazaki: "A Method for Constructing Fauld Diagnosis Table of SLI Testing under Totally Observable Condition" Research Report No.113, Society for The Promotion of Science, 132nd Committee. 47-51 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "Testing of Sequential Circuits with Scan Path under Highly Observable Condition" Information Processing Society of Japan, SIG Notes. 91-DA-57,No.6. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "Test Pattern Generation of k-UCP Circuits" 4th China Fault-Tolerant Computing Symposium. 119-125 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Yoshinobu Higami: "Test Generation for Sequential Circuits under Totally Observable Condition" IEICE Technical Report. FTS91-45. 1-8 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Seiji Kajihara: "Test Pattern Compaction Applied to EB-Tester for Combinational Circuits" Research Report No.117, Japan Society fo The Promotion of Science, 132nd Committee. 47-52 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Sequential Circuits under Highly Observable Condition" IEICE Trans. on Information and Systems. Vol.E75-D,No.3. 334-341 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Logic Circuits under Highly Observable Condition" IEEE Trans. on Computers. Vol.41 No.5. 654-659 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Yuzo Takamatsu: "A Method for Forward Test Generation of Sequential Circuits" IEICE. D-I, Vol.J75-D-I,No.9. 846-873 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Noriyoshi Itazaki: "An Automatic Location Method for Multiple Stuck-at Faults" Research Report No.121, Japan Society for The Promotion of Science, 132nd Committee. 56-60 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Nobuhiro Yanagida: "Multiple Fault Detection in Combinational Circuits Using Sensitizing Inputs-pairs" Technical report of FTS92-42. 25-32 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Wen Xiaoqing: "A Testable Design of Sequential Circuits under Highly Observable Condition" IEICE Trans.on Information and Systems. E75-D. 334-341 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Wen Xiaoqing: "A Testable Design of Logic Circuits under Highly Observable Condition" IEEE Trans.on Computers. 41. 654-659 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Wen Xiaoqing: "Testable Design of Sequential Circuits under Highly Observable Condition" 1992 International Test Conference. 632-641 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 高松 雄三: "順序回路の前方テスト生成に対する一手法" 電子情報通信学会論文誌D-1. J75-D-1. 846-873 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 板崎 徳禎: "電子ビームテスタを用いた多重縮退故障の位置自動指摘手法について" 日本学術振興会第132委員会,第121回研究会. 56-60 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 柳田 宣広: "活性化入力対を用いた組合せ回路における多重故障の診断について" 信学技法. FTS-92-42. 25-32 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] H.Takahashi,N.Iuchi and Y.Takamatsu: "Test Generation for Combinational Circuits with Multiple Faults" Proc. '91 Pacific Rim International Symposium on Fault Tolerant Systems. 212-217 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 梶原 誠司,板崎 徳禎,樹下 行三: "組合せ回路のEBT用テストパタ-ンの圧縮について" 日本学術振興会 電子ビ-ムテスティングシンポジウム. 117. 47-52 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 樋上 喜信,梶原 誠司,樹下 行三: "全可観測な環境での順序回路のテスト生成について" 電子情報通信学会技術報告. FTS91ー45. 1-8 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] C.Chen,M.Komatsu,M.Kawakatsu and M.Kawaguchi: "Performance Analysis of Multiclass Traffic in ATM Networks" IEEE GLOBECOM '91. 244-248 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Wen Xiaoqing and Kozo Kinoshita: "A Testable Design of Sequential Circuits under Highly Observable Condition" 電子情報通信学会英文誌.

    • Related Report
      1991 Annual Research Report
  • [Publications] Wen Xiaoqing and Kozo Kinoshita: "A Testable Design of Logic Circuits under Highly Observable Condition" IEEE Trans. on Computers. VOL.41. (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] 樹下 行三,温 暁青,S.M.レディ: "全可観測な環境でのNAND論理回路のスタックオ-プン故障の検査手法について" 電子情報通信学会論文誌. J73ーD. 245-252 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Wen Xiao qing and Kozo Kinoshita: "Fault Detection and Diagnosis of kーUCP Circuits under Totully Observable Condition" Proc.of 20th International Symposium on Fault Tolerant Computing (IEEE). June. 382-389 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Wen Xiao qing and Kozo Kinoshita: "A Testable Design of Logic Circuits under Highly Observable Condition" Proc.of International Test Conference(IEEE). Sept.955-963 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 板崎 徳禎,徐 小楽,樹下 行三: "全可観測な環境でのLSIテストの故障診断表の構成手法について" 荷電粒子ビ-ムの工業への応用第132委員会 第113回研究会資料(日本学術振興協会). 12月. 47-51 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 樹下 行三: "電子ビ-ムテスタ-を用いた論理回路のテストとテスト容易設計について" 荷電粒子ビ-ムの工業への応用第132委員会 第113回研究会資料(日本学術振興協会). 12月. 19-24 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Yuzo Takamatsu and Kozo Kinoshita: "Extended Selection of Switching Target Faults in CONT Algorithm for Test Generation" Journal of Electronic Testing:Theory and Applications. 1. 183-189 (1990)

    • Related Report
      1990 Annual Research Report

URL: 

Published: 1990-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi