"Multicore processors: will we ever get them right?"

Valeria Bertacco, Associate Professor, EECS, University of Michigan

March 6th (Wednesday), 10:00am
Harold Frank Hall (HFH), Rm 1132 (CS Conference Rm)

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 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.).

This talk will present some of our solutions to solve the verification challenge, such that users of future designs can be assured that their devices will operate completely free of bugs. We will attack the problem both at design-time, with statistical techniques to be deployed during post-silicon validation; and after deployment in the field, discussing novel solutions which can correct escaped bugs after a system has been shipped.

About Valeria Bertacco:

photo of valeria bertacco Valeria Bertacco is an Associate Professor of Electrical Engineering and Computer Science at the University of Michigan. Her research interests are in the area of design correctness, with emphasis on digital system reliability, post-silicon and runtime validation, and hardware- security assurance. Valeria joined the faculty at the University of Michigan in 2003, after being in the Advanced Technology Group of Synopsys for four years as a lead developer of Vera and Magellan. 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 errors and validation. She received her M.S. and Ph.D. degrees in Electrical Engineering from Stanford University in 1998 and 2003, respectively; 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, the IBM Faculty Award and the Vulcans Education Excellence Award from the University of Michigan.

Hosted by: Computer Engineering Program