Computer Systems and Engineering Seminar Series

Achieving Design Correctness (Finally!) with Runtime Checking

Speaker:Valeria Bertacco
Date: Friday, October 28, 2016
Time: 11:45am - 1:00pm
Location: 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