Identification of critical primitive path delay faults without any path enumeration

Keyphrases

• Path Delay Faults 100%
• Path Enumeration 100%
• Primitive Path 100%
• Fault Model 16%
• Zero-suppressed Binary Decision Diagram 16%
• Circuit Size 16%
• Critical Fault 16%
• Fault Set 16%
• Multiple Paths 16%
• Bounded Delay 16%
• Multiple Primitives 16%
• Simple Path 16%
• Temporal Correctness 16%
• Delay Model 16%
• Exact Algorithm 16%
• Timing Correctness 16%
• Fault Criterion 16%

Computer Science

• binary decision diagram 100%
• Criticality 100%
• Exact Algorithm 100%