- This event has passed.
Hardware-Accelerated Formal Verification
April 29, 2008 @ 3:00 pm - 4:00 pm PDT
by Prof. Masahiro FujitaVLSI Design and Education Center
University of Tokyo, Tokyo, Japan
McDonnell Douglas Auditorium, University of California, Irvine
Distinguished Lecture, April 29, 2008
Abstract