1992 | OriginalPaper | Chapter
Ordered Binary Decision Diagrams
Authors : Kenneth M. Butler, M. Ray Mercer
Published in: Assessing Fault Model and Test Quality
Publisher: Springer US
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In order to facilitate a detailed study of the perturbations of various fault models on the normal functioning of a given circuit, it is helpful to have the capacity to find all the tests for each fault in a fault set. One procedure to gather this information would be to inject each fault in the fault set, one at a time, and simulate all possible input patterns, noting when departures from the good machine outputs occur for each fault. An exhaustive method similar to the one just described was proposed in [BEH82]. Obviously, the time required for exhaustive approaches can become prohibitive quickly as circuit sizes grow.