Automated validation and verification of computer software |
| The present invention discloses a method and apparatus for automatic validation and verification of ... |
|
System for generating test data |
| A system for generating test data that overcomes these and other problems has a data structure ... |
|
Diabetes management |
| According to a first aspect of the present invention there is provided a method of predicting the ... |
|
Method and apparatus for code translation optimization |
| OF PREFERRED EMBODIMENTS Generally, the present invention provides a method of optimizing software ... |
|
Method and computer system for loading objects |
| To achieve the foregoing objectives, the present invention executes the following steps in a ... |
|
Graphical design processing apparatus for assessing and modifying design of components |
| It is therefore an object of the present invention to provide a graphic data processing apparatus ... |
|
Developers tool for object-oriented programming |
| The present invention fulfills this need in the art by providing a software developer's tool to ... |
|
Method and apparatus for storing templates in a component system |
| The present invention provides a component system in which a number of base applications, i.e. ... |
|
Method and apparatus for executing tasks by following a linked list of memory packets |
| OF THE EMBODIMENT FIG. 1 is a high level block diagram of a task flow computing machine 10. M... |
|
Optical fiber bus controller |
| FIG. 1 illustrates system 100 which implements the invention. System 100 comprises a number of ... |
|
|
Models and technique for automated fault isolation of open defects in logic
| Details |
Inventors: Venkataraman, Srikanth;
Assignee: Intel Corporation (Santa Clara, CA)
Primary Examiner: Moise; Emmanuel L.
Assistant Examiner:
Attorney, Agent or Firm: Blakely, Sokoloff, Taylor & Zafman LLP
A method and system for diagnosing open defects in logic circuits. The method employs a pair of diagnostic fault models and an associated algorithm to automate the diagnoses of open defects--defects that cause interconnects to be open or high resistance in logic. The two diagnostic fault models, the net and node models, are used to predict potential logic errors that could be caused at the outputs of a logic circuit in the presence of an open defect on any interconnect under consideration in the logic circuit. The predicted errors are combined to form a diagnostic signature set corresponding to the logic circuit. The diagnostic signature set is then compared with a set of errors observed during testing using a diagnostic matching algorithm that ranks the presence of open defects on all interconnects under consideration in the circuit. |
|
DETAILED DESCRIPTION OF THE ILLUSTRATED EMBODIMENTS The present invention comprises a technique that includes diagnostic fault models and an associated algorithm to automate the diagnosis of open defects (a. k. a. , open fault)--that is defects that cause interconnects to be open or have high resistance in logic. Two diagnostic fault models, the node and net models, are used to predict potential logic errors that could be caused at the outputs of a logic circuit in the presence of an open fault on any interconnect under consideration in the circuit. Typically, the output of the logic circuit could either be the bond pads of a chip or observable points within an integrated circuit, such as scan nodes, scanout nodes or memory arrays that are directly accessible during testing. The predicted errors are compared with actual errors observed during testing of the circuit using a diagnostic matching algorithm that ranks the presence of open defects on all interconnects under consideration in the circuit. The problem of determining the logic behavior of an open interconnect is a difficult one, as illustrated by the simple logic circuit shown in FIG. 1A. The logic circuit includes AND gates 10, 12, and 14, which are electrically by interconnect lines 16, 18, 20, and 22. Ideally, signals at the outputs and inputs of the AND gates would pass through appropriate interconnect lines with no disturbance. However, under an open fault condition, a signal may not pass through properly (i. e. , not pass through at all, or pass through at a different logic level than the signal was when it left the previous gate. The logic value of the signal under an open fault is a function of the location of the defect, its resistance, and the capacitive coupling of the signal line to power and ground signals lines and other neighboring signal lines at logic 1 (V. sub. DD) or logic 0 (GND). For example, the behavior of an open fault at locations 24, 26, 28, and 32 along the interconnect circuitry, as depicted in the Figure, may be different
|
| Related patents |
|
|
Technique for generating single-bit error-correcting, two-bit burst error-detecting codes
A technique for generating correction codes that can correct a single error and detect two adjacent errors in an information word for a range of (n, k) values, where k ...
|
|
|
Methods for maximizing routability in a programmable interconnect matrix having less than full connectability
The connectivity, connectability and routability of a connection circuit, hereinafter "programmable interconnect matrix" or "PIM," are, as stated above, characteristics ...
|
|
|
Microprocessor integrated circuit working in internal ROM and external RAM mode
The present invention is aimed at proposing a more efficient, less lengthy and less costly system to develop a microprocessor integrated circuit incorporating the ...
|
|
|
Method and apparatus for resetting, enabling and freezing a communication device in a diagnostic process
What is claimed is: 1. A communication system, comprising: a host interface for providing a host with access to internal elements of said communication system, and ...
|
|
|
Code instrumentation system with non intrusive means and cache memory optimization for dynamic monitoring of code segments
Accordingly, the present invention is directed to a system and method for monitoring performance in an information handling system in a minimally intrusive manner. The ...
|
|
|
Method and apparatus for dynamically optimizing an executable computer program using input data
According to principles of the invention, a method and apparatus for using input data to optimize a computer program for execution on a target computer is provided. I...
|
|
|
Method and apparatus for profiling indirect procedure calls in a computer program
As discussed in the Background section, the generation of profile data for direct procedure calls is relatively straightforward. However, the generation of profile data ...
|
|
|
Profile driven optimization of frequently executed paths with inlining of code fragment (one or more lines of code from a child procedure to a parent procedure)
Unfortunately, traditional inlining is often unable to substantially reduce the procedure call overhead of a program where to do so would be highly advantageous. In ...
|
|
|
Method of, system for, and computer program product for providing efficient utilization of memory hierarchy through code restructuring
The invention disclosed herein comprises a method of, a system for, and an article of manufacture for providing code restructuring based on profiling information and ...
|
|
|
Software reconfiguration engine
The present invention relates generally to computer system software development and maintenance. More particularly, the invention relates to a reconfiguration system for ...
|
|
|