Identification of Delay Measurable PDFs Using Linear Dependency Relationships

Recently several methods have been presented to measure the delay of a small set of path delay faults (PDFs), known as a basis set which is used to compute the delays of PDFs. All methods assume that the basis consists of strong robustly tested PDFs because their delays can be measured. This paper presents procedures to identify measurable PDFs whose delays otherwise could not be measured by traditional strong robust sensitization. Path measurement techniques that conditer the bounded delay model allow us to compute the delays of almost all PDFs in existing benchmarks.