This event has passed.

Hardware-Accelerated Formal Verification

Name: Hardware-Accelerated Formal Verification
Start: 2008-04-29T15:00:00-07:00
End: 2008-04-29T16:00:00-07:00

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

Details

Date:: April 29, 2008
Time:: 3:00 pm - 4:00 pm PDT
Event Category:: Seminars at CECS

Hardware-Accelerated Formal Verification

April 29, 2008 @ 3:00 pm - 4:00 pm PDT

Details

Contact

Follow