Computer Systems and Engineering Seminar Series
Achieving Design Correctness (Finally!) with Runtime Checking
||Friday, October 28, 2016
||11:45am - 1:00pm
||North 311, Duke
||Lunch will be provided.
Every integrated circuit is released with latent bugs. The damage and risk implied by an escaped bug ranges
from almost imperceptible to potential tragedy. Unfortunately it is impossible to discern within this range before
a bug has been exposed and analyzed. While the past few decades have witnessed significant efforts to improve
verification methodology for hardware systems, these efforts have been far outstripped by the massive complexity
of modern digital designs, leading to product releases for which an always smaller fraction of a system's state has
been verified. The news of escaped bugs in large market designs and safety critical domains is alarming because
of safety and cost implications (due to replacements, lawsuits, etc.). Even worse than accidental bugs and bug
manifestations are evil pursuits deployed to perpetrate security attacks.
This talk will present some of our solutions to solving the functional correctness challenge, so that users of future
computing systems can be assured that their devices will operate completely free of bugs. We will attack the problem
after deployment in the field, discussing novel solutions which can correct escaped bugs after a system has been shipped.
Valeria Bertacco is Professor of Electrical Engineering and Computer Science at the University of
Michigan since 2003. Her research interests are in the area of computer design, with emphasis on reliability,
design correctness and hardware-security assurance. Prior to joining the University of Michigan, Valeria was with
the Advanced Technology Group of Synopsys for four years as a lead developer of the industry-standard Vera and
Magellan tools. She came to Synopsys via the acquisition of Systems Science Inc., where she was working at the
time. During the Winter of 2012, she was on sabbatical at the Addis Ababa Institute of Technology.
Valeria is the author of three books on design's functional correctness. She received her M.S. and Ph.D. degrees in Electrical
Engineering from Stanford University in 1998 and 2003; and a Computer Engineering degree ("Dottore in Ingegneria") summa cum
laude from the University of Padova, Italy in 1995. Valeria is the recipient of the IEEE CEDA Early Career Award, NSF CAREER award,
the Air Force Office of Scientific Research's Young Investigator award and the IBM Faculty Award. Within the University of Michigan,
she is the recipient of two College Excellence Awards, the Rackham Faculty Recognition Award and the
Sarah Goddard Power Award. Valeria is an ACM Distinguished Scientist and a senior member of the IEEE.
Hosted by: Ben Lee