WO1991000527A3 - Methode et appareil pour localiser les defauts dans unites electroniques - Google Patents
Methode et appareil pour localiser les defauts dans unites electroniques Download PDFInfo
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/2832—Specific tests of electronic circuits not provided for elsewhere
- G01R31/2836—Fault-finding or characterising
- G01R31/2846—Fault-finding or characterising using hard- or software simulation or using knowledge-based systems, e.g. expert systems, artificial intelligence or interactive algorithms
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design 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é.
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)
| 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)
| 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)
| 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 |
-
1989
- 1989-07-05 US US07/375,839 patent/US5157668A/en not_active Expired - Fee Related
-
1990
- 1990-07-05 WO PCT/US1990/003809 patent/WO1991000527A2/fr not_active Ceased
Patent Citations (3)
| 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)
| 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 |