High-quality transition fault atpg for small delay defects

A new framework is proposed to generate compact quality tests to detect small delay defects by activating and propagating transition faults only along implicitly kept sensitizable critical paths. It is shown how to implicitly generate functions to derive tests for the proposed framework. The novelty of the method relies on a multivalued algebra that is used to generate the test functions with a single circuit traversal, independent of the number of critical paths. Experimental results demonstrate the effectiveness of the method.