P. R. Stephan

A Delay Metric for RC Circuits Based on the Weibull Distribution

Luciano Lavagno, Malgorzata Marek-Sadowska, Rajeev Murgai, 2004 .

Combinational test generation using satisfiability

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Paul R. Stephan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

SIS : A System for Sequential Circuit Synthesis Electronics Research Laboratory Memorandum

Robert K. Brayton, Paul R. Stephan, Ellen M. Sentovich, 1992 .

Timing analysis and delay-fault test generation using path-recursive functions

Robert K. Brayton, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

SIS : A System for Sequential Circuit Synthesis

P. R. Stephan, E. M. Sentovich, R. Brayton, 1992 .