Hardware-Accelerated Formal Verification

by Prof. Masahiro Fujita
VLSI Design and Education Center
University of Tokyo, Tokyo, Japan
McDonnell Douglas Auditorium, University of California, Irvine
Distinguished Lecture, April 29, 2008
Abstract