Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions.

Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.