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. Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. In ICCAD. pages 180-183, 1991.

Abstract

Abstract is missing.