At&t Bell Laboratories

Lucent Technologies Inc.

At+t Corp.

Rutgers, the State University of New Jersey

Nec Usa, Inc.

At&t Laboratories, Limited

Vishwani D Agrawal

Tapan J Chakraborty

Kwang-Ting Cheng

Srimat T Chakradhar

Prathima Agrawal

Miron Abramovici

Michael L Bushnell

Steven G Rothweiler

Krishna B Rajan

Kwang T Cheng

Suman Kanjilal

Marwan A Gharaybeh

Melvin R Mercer

The present invention relates to a method and system for identifying tested path-delay faults in integrated circuits. A path status graph is generated to represent the detected status of simulated path-delay faults. The path status graph includes vertices representing primary inputs, primary outputs and elements of the circuit. Detected status path-delay faults can be dynamically distributed to edges of the path status graph. Tested path-delay faults can be identified from traversal of the edges of the path status graph.

Method and system for identifying tested path delay faults

The power dissipation in a circuit, e.g., a CMOS circuit, is reduced through hazard pulse suppression. More particularly, hazard-producing gates are those gates whose delays are smaller than the differential path delays for their inputs. The adjustment to the delay of these gates is made by increasing the gate delay as a function of the corresponding differential path delays to eliminate the production of hazard pulses. Thus, by suppressing the hazard pulses in a circuit the power dissipation of the circuit is substantially reduced.

Low power circuits through hazard pulse suppression

Techniques for the generation of tests for detecting specified faults in circuits that include non-Boolean components and for identifying these undetectable faults that are logically redundant. The main features are: (1) only one Boolean variable is used to represent the value on a signal and all signals assume only Boolean values during the test generation procedure, (2) function of non-Boolean components is separated into Boolean and non-Boolean states, and energy functions are derived only for the Boolean state, and (3) non-Boolean states are implicitly considered in the energy minimization procedure.

Testing and removal of redundancies in VLSI circuits with non-boolean

High speed testing of a digital circuit may be performed although the rated frequency of the circuit exceeds the frequency capability of the test equipment. A digital circuit may be designed such that a controllable delay may be introduced in the timing paths of the circuit during testing using test stimuli which are applied at a clock rate that is less than the rated frequency of the circuit. By adding delay to the combinational signal path, testing of the circuit for operation at the maximum operating frequency is achieved during testing at a clock rate which is within the capability of the test equipment. The controllable delay may be incorporated as a delay element into a single-clock circuit and controlled by manipulation of the duty-cycle of a clock waveform which is applied to the circuit. The delay circuit is so designed that its function is also testable. In a multi-clock circuit, the delay is added to the circuit by skewing one clock signal with respect to the other clock signals.

Delay testing of high-performance digital components by a slow-speed

A method for testing a sequential circuit by applying a number of test vectors to the primary inputs of the sequential circuit between each application of a clock circuit. Once the sequential circuit enters a state and that state is a necessary condition for detecting various faults, test vectors are applied to the primary inputs of the sequential circuit, which vectors are designed to propagate all fault effects that can be propagated at that state of the circuit. Once those vectors have been applied, a state-advancing vector is applied immediately before the application of the clock. The state-advancing vector is designed to condition the circuit to allow more fault effects to be propagated to the primary outputs, and to propagate fault effects into the storage elements of the circuit.

Testing a sequential circuit

Testing of a sequential circuit (10) containing at least one embedded RAM (16) is accomplished by first generating a set of sequential vectors and then applying the vectors in sequence to a set of primary circuit inputs (PO.sub.o -PO.sub.j). The vectors are generated such that upon application to the circuit, the vectors excite potential faults at nodes (A) upstream of the RAM and propagate the effects of the faults through the RAM to the primary circuit outputs (PO.sub.o -PO.sub.j). Also, the test vectors serve to excite faults downstream of the RAM by propagating values through the RAM needed to excite the downstream faults. The fault effects (if any) that propagate to the circuit primary outputs are compared to a set of reference values to determine if any faults are present.

Method and apparatus for test generation and fault simulation for

A VLSI circuit including memory is viewed as a finite state object machine and for testability a finite state test machine is embedded in the finite state object machine. To make the embedding practiced, the object test machine is partitioned into components and separate test machines are embedded into each component. The augmented components are then interconnected to form a composite machine for testing. To have the same test generation complexity as the object machine with a single embedded test function, there are special relations that have to be satisfied in the manner in which the test machines are embedded.

VLSI circuits designed for testability and methods for producing them

To detect a delay fault along a signal path of interest (12) in a sequential digital circuit (10), a source flip-flop (14) and a destination flip-flop (16), proximate the beginning and end of the path, respectively, are designated in the circuit. Next, the signal path is activated to establish what logic values are necessary at the input of each of a set of combinational elements (18.sub.1 -18.sub.p) in the path to propagate a selected signal transition from the source flip-flop to the destination flip-flop. A first and second backward justification process is carried out to synthesize a first sequence to propagate a selected logic value from a primary circuit input to the source flip-flop to cause it to generate the selected signal transition to propagate to the destination flip-flop. A second backward justification process is carried out to synthesize a second vector sequence which serves to propagate the value latched in the destination flip-flop to a primary output. The vectors of the first and second sequences are then applied at periodic intervals using a slow clock, except that the rated clock is applied to the last vector of the first sequence to propagate the logic value affected by the delay fault ultimately to the primary output. By comparing the value propagated to the primary output to the expected correct logic value, a determination can be made as to the existence of a delay fault.

Method for testing delay faults in non-scan sequential circuits

A method for developing a test sequence and for testing manufactured digital circuits. Test vectors are developed based on a simulation-based, directed-search approach. Specifically, from a given test vector, a next test vector is developed by altering the given test vector and determining the utility of the altered trial vector in propagating circuit faults to the primary outputs, based on a simulation of the circuit and a preselected cost function. The vector set is created through an iterative process of altering an accepted test vestor to develop a next trial vector. The vector set is efficiently developed by employing one phase that treats the entire set of circuit faults as the target, followed by another phase that targets specific faults that have not been detected in the previous phase.

Cost-function directed search method for generating tests for sequential

A testable implementation of a given finite state machine is produced by defining a test finite state machine which can set and read the same number of flip flops as are required for the memory elements of the given finite machine and then merging the test finite state machine with the given finite state machine to produce a testable finite state machine in which the test finite state machine and the given finite state machine share the flip flops. The testable implementation is then produced from the testable finite state machine. Since the test finite state machine and the given finite state machine share the flip flops of the testable implementation, the test finite state machine can be used to test the given finite state machine by setting and reading the given finite state machine's flip flops. Techniques are further disclosed for defining the test finite state machine and merging the test finite state machine with the given finite state machine.

Testable implementations of finite state machines and methods for

A method of partial scan design for chip testing and a circuit produced in accordance with the method in which the selection of scan memory elements eliminates cycles in the circuit while the circuit is in a test mode. Cycles are defined as feedback paths from an output of a memory element to an input of the memory element. Cycle length is the number of memory elements in a feedback path. Experimental data suggests that test complexity grows exponentially with the cycle length. By eliminating cycles of desired lengths, the set of scan memory elements may be only a small fraction of the total memory elements of a circuit.

Method and integrated circuit adapted for partial scan testability

A large scale sequential integrated circuit is made amenable to scan design testing by the inclusion of special multiplexing and storage circuits which respond to a pair of test control pulses to reconfigure the circuit to include one or more shift registers and to step the scan test data through the shift registers. In particular, the pair of test control pulses are applied to the two terminals to which, in normal operation, are applied the clock pulses which are used to control the storage elements and which, in such operation, are never both simultaneously high. To initiate the scan test operation, these test control pulses are made simultaneously high and the circuitry responds to such conditions.

Growing community of inventors

New Providence, NJ, United States of America

Vishwani D Agrawal