Non-enumerative correlation-aware path selection

The path delay fault model is effective in detecting small delay defects. The proposed approach identifies the delay behavior of paths in various circuit instances without enumerating them. It selects critical paths through path implicit operations on a compact data structure potentially containing an exponential number of path candidates. The experimental analysis on some of the largest ISCAS-89 and ITC-99 benchmarks shows that the proposed approach is highly scalable and effective.