 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| Assistant Professor Electrical Engineering-Systems University of Southern California 3740 McClintock Los Angeles, CA 90089-2562 Phone: (213) 740-4481 |
 |
||
|
Peter A. Beerel
|
|||
|
|
|||
| Description of Research | |||
| Dr. Beerel's research interests include computer-aided design of asynchronous and mixed synchronous/synchronous VLSI systems, as well as formal verification of communication protocols. He was a member of the technical program committee of the Second Working conference on Asynchronous Design Methodologies and is currently a member of the technical program committee of the 1995 ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (TAU '95). Dr. Beerel is a recipient of an NSF Career Award and is a 1995 Zumberge Fellow. | |||
| Recent Papers or Publications | |||
| Beerel, P. A., J. R. Burch, and T. H.-Y. Meng, "Sufficient Conditions for Correct Gate-Level Speed-Independent Circuits." Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, November 1994. Beerel, P. A., C. Hsieh, and S. Wadekar, "Energy Estimation in Speed-Independent Control Circuits." Proceedings of International Symposium on Low Power Design, April 1995. |
|||
| Special Honors or Awards | |||
|
|||
top
of pageSponsored by the MIT Provost's Office
Last updated on 8/23/2000 by www-deanofcollege@vassar.edu