Excavating
Patent
1991-12-19
1994-12-27
Atkinson, Charles E.
Excavating
371 27, G01R 3128
Patent
active
053772016
ABSTRACT:
A process for generating a vector for testing a digital circuit for a given fault first creates a composite circuit including a fault-present version of the circuit and a fault-free version. An implication graph is developed for the composite circuit and its energy function is derived as a combination of binary and ternary terms. All signal states that are consistent with the circuit function minimize the energy function to zero value. The transitive closure is computed for the binary terms, and redundancies, contradictions, fixations, identification and exclusions are identified. By iteration of implication graphs and transitive closures together with arbitrarily assigned signal values all ternary terms of the energy function are converted to binary terms, after which transitive closure recomputes a set of literals that can be used to generate the desired test vector by a standard branch and bound procedure.
REFERENCES:
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4853928 (1989-08-01), Williams
patent: 4930072 (1990-05-01), Agrawai et al.
patent: 5010552 (1991-04-01), Dias et al.
patent: 5257268 (1993-10-01), Agrawal et al.
Agrawal Viswani
Chakradhar Srimat
AT&T Corp.
Atkinson Charles E.
NEC Research Institute Inc.
Torsiglieri Arthur J.
LandOfFree
Transitive closure based process for generating test vectors for does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Transitive closure based process for generating test vectors for, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transitive closure based process for generating test vectors for will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-924058