John Moondanos, Ph.D.

Strategic CAD Labs, INTEL Corp. & GSRC Visiting Industrial Fellow, EECS, UC Berkeley


Electrical Engineering and Computer Science Department (EECS)
Gigascale Systems Research Center(GSRC)
The University of California at Berkeley
Cory Hall, Rm. 515
INTEL Corporation (Intel)
Design Technology, M/S SC12-605
2200 Mission College Blvd.,
Santa Clara, CA 95052
(415) 609-7806 [M]
(408) 765-7073 [V]
http://www-cad.eecs.berkeley.edu/~jmoondan
jmoondan@eecs.berkeley.edu
john.moondanos@intel.com


Critical Update!!

Latest Information about the
4th Annual Formal Equivalence & Assertion Based Verification Workshop,
in Madonna di Campiglio, Italy, July 28-31, 2005