[go: up one dir, main page]

WO1991000527A3 - Methode et appareil pour localiser les defauts dans unites electroniques - Google Patents

Methode et appareil pour localiser les defauts dans unites electroniques Download PDF

Info

Publication number
WO1991000527A3
WO1991000527A3 PCT/US1990/003809 US9003809W WO9100527A3 WO 1991000527 A3 WO1991000527 A3 WO 1991000527A3 US 9003809 W US9003809 W US 9003809W WO 9100527 A3 WO9100527 A3 WO 9100527A3
Authority
WO
WIPO (PCT)
Prior art keywords
changes
functional
functional test
constraints
block
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
PCT/US1990/003809
Other languages
English (en)
Other versions
WO1991000527A2 (fr
Inventor
Charles W Buenzli Jr
Ravi Rastogi
Kenneth Francis Sierzega
Maurice M Tayeh
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Applied Diagnostics Inc
Original Assignee
Applied Diagnostics Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Applied Diagnostics Inc filed Critical Applied Diagnostics Inc
Publication of WO1991000527A2 publication Critical patent/WO1991000527A2/fr
Publication of WO1991000527A3 publication Critical patent/WO1991000527A3/fr
Anticipated expiration legal-status Critical
Ceased legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • GPHYSICS
    • G01MEASURING; TESTING
    • G01RMEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28Testing of electronic circuits, e.g. by signal tracer
    • G01R31/2832Specific tests of electronic circuits not provided for elsewhere
    • G01R31/2836Fault-finding or characterising
    • G01R31/2846Fault-finding or characterising using hard- or software simulation or using knowledge-based systems, e.g. expert systems, artificial intelligence or interactive algorithms
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Medical Informatics (AREA)
  • Health & Medical Sciences (AREA)
  • Quality & Reliability (AREA)
  • Artificial Intelligence (AREA)
  • Geometry (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

Une méthode et un appareil d'intelligence artificielle servant à localiser les défauts dans des unités électroniques comprennent une technique pour le modelage d'unités électroniques en terme de contraintes de comportement. Les contraintes de comportement façonnent les composantes du circuit en terme de variations de leurs sorties qui résultent des variations de leurs entrées. Ces variations connues comme des ''variations de phase'' peuvent être complétées par des contraintes de gain et de docilité pour façonner une unité électronique à tous les niveaux d'extraction fonctionnelle ou de décomposition. En plus d'une méthode universelle de modelage, les relations de contrainte de comportement fournissent une indication très précise de variations subtiles dans un circuit, pour la localisation ou le dépistage des défauts. Le dépistage des défauts se produit en appliquant une stratégie de retouche prédéterminée sur l'unité de contrôle qui est représentée par des contraintes de comportement. La stratégie de recherche commence avec une recherche hiérarchisée vers le bas. Quand un bloc défectueux est repéré, la recherche se dirige vers un niveau inférieur d'extraction fonctionnelle et recherche le prochain bloc inférieur ayant une sortie correspondant à la sortie du bloc du niveau plus haut. Si le prochain bloc du niveau plus bas n'est pas défectueux, des blocs adjacents sont explorés. Le test de l'unité électronique est amorcé selon l'essai de fonctionnement pour l'unité. Chaque essai de fonctionnement dans le plan d'essai de fonctionnement est associé avec un ou plusieurs blocs à un niveau d'extraction fonctionnelle. Quand un essai de fonctionnement échoue, le dépistage des défauts commence au niveau de l'extraction fonctionnelle et au niveau du bloc correspondant à l'essai de fonctionnement qui a échoué.
PCT/US1990/003809 1989-07-05 1990-07-05 Methode et appareil pour localiser les defauts dans unites electroniques Ceased WO1991000527A2 (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US375,839 1989-07-05
US07/375,839 US5157668A (en) 1989-07-05 1989-07-05 Method and apparatus for locating faults in electronic units

Publications (2)

Publication Number Publication Date
WO1991000527A2 WO1991000527A2 (fr) 1991-01-10
WO1991000527A3 true WO1991000527A3 (fr) 1991-02-21

Family

ID=23482582

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US1990/003809 Ceased WO1991000527A2 (fr) 1989-07-05 1990-07-05 Methode et appareil pour localiser les defauts dans unites electroniques

Country Status (2)

Country Link
US (1) US5157668A (fr)
WO (1) WO1991000527A2 (fr)

Families Citing this family (49)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2538069B2 (ja) * 1989-09-13 1996-09-25 株式会社日立製作所 プラント制御システム、その制御回路表示方法および保守装置
JPH03202963A (ja) * 1989-12-28 1991-09-04 Brother Ind Ltd 図形処理装置
US5299137A (en) * 1990-04-05 1994-03-29 Vlsi Technology, Inc. Behavioral synthesis of circuits including high impedance buffers
DE69127149T2 (de) * 1990-09-07 1998-02-05 Schlumberger Technologies Ltd Schaltungsprüf-Verfahren
US6101490A (en) * 1991-07-19 2000-08-08 Hatton; Charles Malcolm Computer system program for creating new ideas and solving problems
US5305437A (en) * 1991-09-03 1994-04-19 International Business Machines Corporation Graphical system descriptor method and system
US5548713A (en) * 1991-10-15 1996-08-20 Bull Hn Information Systems Inc. On-board diagnostic testing
JP2907614B2 (ja) * 1991-12-19 1999-06-21 三田工業株式会社 機能冗長系を有する画像形成装置
EP0557628B1 (fr) * 1992-02-25 1999-06-09 Hewlett-Packard Company Système de test des circuits
WO1993024896A1 (fr) * 1992-06-02 1993-12-09 Hewlett-Packard Company Procedes et appareils de conception assistee par ordinateur destines a des technologies d'interconnexions a multiniveaux
JP2629523B2 (ja) * 1992-06-26 1997-07-09 日本電気株式会社 Lsi検査装置及び方法
US5448722A (en) * 1993-03-10 1995-09-05 International Business Machines Corporation Method and system for data processing system error diagnosis utilizing hierarchical blackboard diagnostic sessions
SE502852C2 (sv) * 1994-04-08 1996-01-29 Ellemtel Utvecklings Ab Sätt och system för distribuerad övervakning av hårdvara
US5644686A (en) * 1994-04-29 1997-07-01 International Business Machines Corporation Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
GB9413127D0 (en) * 1994-06-30 1994-08-24 Philips Electronics Uk Ltd Data processing apparatus
US5828580A (en) 1994-11-08 1998-10-27 Epic Design Technology, Inc. Connectivity-based approach for extracting parasitic layout in an integrated circuit
US5774372A (en) * 1996-03-29 1998-06-30 Berwanger; Pat Pressure protection manager system & apparatus
US7058617B1 (en) * 1996-05-06 2006-06-06 Pavilion Technologies, Inc. Method and apparatus for training a system model with gain constraints
US6097884A (en) * 1997-12-08 2000-08-01 Lsi Logic Corporation Probe points and markers for critical paths and integrated circuits
US6052758A (en) * 1997-12-22 2000-04-18 International Business Machines Corporation Interface error detection and isolation in a direct access storage device DASD system
DE19803032A1 (de) * 1998-01-27 1999-07-29 Daimler Chrysler Ag Verfahren zur computergestützten Optimierung von Prüfspezifikationen und Minimierung von Prüfsoftware
US6102960A (en) * 1998-02-23 2000-08-15 Synopsys, Inc. Automatic behavioral model generation through physical component characterization and measurement
US6212665B1 (en) 1998-03-27 2001-04-03 Synopsys, Inc. Efficient power analysis method for logic cells with many output switchings
US6370659B1 (en) 1999-04-22 2002-04-09 Harris Corporation Method for automatically isolating hardware module faults
US6785413B1 (en) * 1999-08-24 2004-08-31 International Business Machines Corporation Rapid defect analysis by placement of tester fail data
US6532552B1 (en) * 1999-09-09 2003-03-11 International Business Machines Corporation Method and system for performing problem determination procedures in hierarchically organized computer systems
US6587960B1 (en) * 2000-01-11 2003-07-01 Agilent Technologies, Inc. System model determination for failure detection and isolation, in particular in computer systems
US6567956B1 (en) * 2000-05-08 2003-05-20 Hewlett-Packard Development Company, L.P. Method for performing electrical rules checks on digital circuits with mutually exclusive signals
TW540200B (en) * 2000-11-09 2003-07-01 Interdigital Tech Corp Single user detection
US7349889B1 (en) * 2000-11-20 2008-03-25 Rohm And Haas Electronic Materials Llc System and method for remotely diagnosing faults
US6772402B2 (en) * 2002-05-02 2004-08-03 Hewlett-Packard Development Company, L.P. Failure path grouping method, apparatus, and computer-readable medium
WO2006039322A2 (fr) * 2004-10-01 2006-04-13 Wms Gaming Inc. Appareil de jeux de hasard avec interface utilisateur graphique de reproduction en fac-simile
US7302418B2 (en) * 2004-10-15 2007-11-27 Microsoft Corporation Trade-off/semantic networks
US8005853B2 (en) 2004-11-09 2011-08-23 Snap-On Incorporated Method and system for dynamically adjusting searches for diagnostic information
US8287368B2 (en) * 2005-03-21 2012-10-16 Wms Gaming Inc. Wagering game with diagnostic graphical user interface
US7321885B2 (en) * 2005-07-18 2008-01-22 Agilent Technologies, Inc. Product framework for managing test systems, supporting customer relationships management and protecting intellectual knowledge in a manufacturing testing environment
US20120026173A1 (en) * 2006-08-04 2012-02-02 Gabbert Adam K Transitioning Between Different Views of a Diagram of a System
US20080133440A1 (en) * 2006-12-05 2008-06-05 International Business Machines Corporation System, method and program for determining which parts of a product to replace
US8572528B1 (en) * 2009-11-25 2013-10-29 Xilinx, Inc. Method and apparatus for analyzing a design of an integrated circuit using fault costs
JP5691723B2 (ja) * 2011-03-25 2015-04-01 富士通株式会社 監視方法、情報処理装置および監視プログラム
US8782525B2 (en) * 2011-07-28 2014-07-15 National Insturments Corporation Displaying physical signal routing in a diagram of a system
US8813004B1 (en) * 2012-11-21 2014-08-19 Cadence Design Systems, Inc. Analog fault visualization system and method for circuit designs
US8996348B1 (en) 2012-11-21 2015-03-31 Cadence Design Systems, Inc. System and method for fault sensitivity analysis of digitally-calibrated-circuit designs
US8683400B1 (en) 2012-11-21 2014-03-25 Cadence Design Systems, Inc. System and method for fault sensitivity analysis of mixed-signal integrated circuit designs
US9710525B2 (en) * 2013-03-15 2017-07-18 Bmc Software, Inc. Adaptive learning of effective troubleshooting patterns
US8863050B1 (en) 2013-03-15 2014-10-14 Cadence Design Systems, Inc. Efficient single-run method to determine analog fault coverage versus bridge resistance
US8875077B1 (en) 2014-02-10 2014-10-28 Cadence Design Systems, Inc. Fault sensitivity analysis-based cell-aware automated test pattern generation flow
US11636363B2 (en) 2018-02-20 2023-04-25 International Business Machines Corporation Cognitive computer diagnostics and problem resolution
CN109598377B (zh) * 2018-11-28 2020-12-22 国网江苏省电力有限公司 一种基于故障约束的交直流混合配电网鲁棒规划方法

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4242751A (en) * 1978-08-28 1980-12-30 Genrad, Inc. Automatic fault-probing method and apparatus for checking electrical circuits and the like
EP0208673A2 (fr) * 1985-07-11 1987-01-14 Cegelec Acec S.A. Equipement de test automatique
US4766595A (en) * 1986-11-26 1988-08-23 Allied-Signal Inc. Fault diagnostic system incorporating behavior models

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4459695A (en) * 1979-11-07 1984-07-10 Davy Mcgee (Sheffield) Limited Fault finding in an industrial installation by means of a computer
US4613940A (en) * 1982-11-09 1986-09-23 International Microelectronic Products Method and structure for use in designing and building electronic systems in integrated circuits
US4591938A (en) 1983-01-20 1986-05-27 Bell & Howell Company Method and apparatus for removal of dust from an information carrier during recording and playback
US4591983A (en) * 1984-07-09 1986-05-27 Teknowledge, Inc. Hierarchical knowledge system
US4651284A (en) * 1984-07-27 1987-03-17 Hitachi, Ltd. Method and system of circuit pattern understanding and layout
US4635208A (en) * 1985-01-18 1987-01-06 Hewlett-Packard Company Computer-aided design of systems
US4709366A (en) * 1985-07-29 1987-11-24 John Fluke Mfg. Co., Inc. Computer assisted fault isolation in circuit board testing
US4827428A (en) * 1985-11-15 1989-05-02 American Telephone And Telegraph Company, At&T Bell Laboratories Transistor sizing system for integrated circuits
US4791357A (en) * 1987-02-27 1988-12-13 Hyduke Stanley M Electronic Circuit board testing system and method

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4242751A (en) * 1978-08-28 1980-12-30 Genrad, Inc. Automatic fault-probing method and apparatus for checking electrical circuits and the like
EP0208673A2 (fr) * 1985-07-11 1987-01-14 Cegelec Acec S.A. Equipement de test automatique
US4766595A (en) * 1986-11-26 1988-08-23 Allied-Signal Inc. Fault diagnostic system incorporating behavior models

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
IEEE 1982 IECON Proceedings, 15-19 November 1982, Palo Alto, CA, IEEE, P.M. JOHNSTON et al.: "Production Test System for High Volume Microcomputer Based Products", see pages 156-161 *
IEEE-ITC-International Test Conference 1988 Proceedings, "New Frontiers in Testing", 12-14 September 1988, Washington, DC, IEEE, J. BECK et al.: "Integrated Test Logic for Video IC's", see pages paper 36.1 744 - paper 36.1 751 *
Nachrichtentechnik Elektronik, Vol. 30, No. 4, 1980, (Ost-Berlin, DDR), U. FRUHAUF et al.: "Rechnergestutzte Ermittlung von Tests zur Fehlererkennung und -Lokalisierung in Elektronischen Schaltungen und Systemen", see pages 144-146 *

Also Published As

Publication number Publication date
US5157668A (en) 1992-10-20
WO1991000527A2 (fr) 1991-01-10

Similar Documents

Publication Publication Date Title
WO1991000527A3 (fr) Methode et appareil pour localiser les defauts dans unites electroniques
US5107497A (en) Technique for producing an expert system for system fault diagnosis
US4228537A (en) Method of and apparatus for automatic fault diagnosis of electrical circuits employing on-line simulation of faults in such circuits during diagnosis
AU590110B2 (en) Method and apparatus for isolating faults in a digital logic circuit
EP1093619A4 (fr) Systeme et procede d'identification d'un automate fini et de verification de la conception d'un circuit
DE69712236D1 (de) Fehlerdiagnosevorrichtung für CMOS-integrierte Schaltungen und Diagnoseverfahren
US4045736A (en) Method for composing electrical test patterns for testing ac parameters in integrated circuits
EP0104534B1 (fr) Procédé pour rechercher les défauts dans des circuits VLSI avec une sonde à électrons
EP0194788B1 (fr) Appareil d'essai automatiqueet procédé de commande
Franco Experiences gained using the navy's IDSS weapon system testability analyzer
Goel et al. A two (multicomponent) unit parallel system with standby and common cause failure
US5341314A (en) Method for generating a test to detect differences between integrated circuits
EP0378325B1 (fr) Procédé et dispositif de test de circuit
CN106597227A (zh) 基于全局小波系数平衡法判断单相接地故障的方法和装置
Lee et al. Fault detection method using power supply spectrum analysis
Jacob et al. Functional test generation for sequential circuits
Mozetič et al. Model-based analogue circuit diagnosis with CLP (R)
Wey On the implementation of an analog ATPG
Rubio et al. Test pattern generation for logic crosstalk faults in VLSI circuits
Straube et al. On the fault-injection-caused increase of the DAE-index in analogue fault simulation
Tobak Automated Semiconductor Modeling.
Xu Build-in-self-test for software
Bennetts The philosophy of testing digital systems ߞ a pragmatic approach
CN119556101A (zh) 一种通用离散量采集电路边界测试电路和方法
SU545987A1 (ru) Устройство дл контрол сеточных моделей

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): JP KR NO

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): AT BE CH DE DK ES FR GB IT LU NL SE

AK Designated states

Kind code of ref document: A3

Designated state(s): JP KR NO

AL Designated countries for regional patents

Kind code of ref document: A3

Designated state(s): AT BE CH DE DK ES FR GB IT LU NL SE