Paul R. Stephan

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Combinational test generation using satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (9) (1996)
Cho W. Moon, Paul R. Stephan, Robert K. Brayton
Specification, synthesis, and verification of hazard-free asynchronous circuits. J. VLSI Signal Process. 7 (1-2) (1994)
Paul R. Stephan, Robert K. Brayton
Physically Realizable Gate Models. ICCD (1993)
Cho W. Moon, Paul R. Stephan, Robert K. Brayton
Synthesis of Hazard-Free Asynchronous Circuits from Graphical Specifications. ICCAD (1991)
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. ICCAD (1991)