language: en

High Performance Verification Algorithms

by Jagesh V. Sanghavi

[B.Tech. (Indian Institute of Technology, Bombay) 1989 M.S. (University of California at Berkeley, California) 1993 A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in]

Engineering Electrical Engineering and Computer Sciences

[in the GRADUATE DIVISION of the]

UNIVERSITY of CALIFORNIA at BERKELEY

[Committee in charge: Professor Alberto L. Sangiovanni-Vincentelli Professor Robert K. Brayton Professor Phillip Colella]

1996