This chapter describes an algorithm for identifying all necessary assignments for single stuck-at fault detection. This is of central interest not only in test generation but also in logic synthesis and verification as will be developed in Chapters 5 and 6.
KeywordsTest Generation Recursion Level Recursion Depth Test Generation Algorithm Forward Implication
Unable to display preview. Download preview PDF.