[UCI-Calit2] Achieving Design Correctness with Runtime Checking - 11 a.m., 3/20

Anna Lynn Spitzer aspitzer at calit2.uci.edu
Thu Mar 6 08:52:23 PST 2014


Title:   		Achieving Design Correctness (Finally!) with Runtime Checking

Speaker: 	Valeria Bertacco, Department of Electrical Engineering & Computer Science, University of Michigan

Time:		11 a.m.

Date:    		Thursday, March 20, 2014

Location:   	Engineering Hall, Room 2430, UC Irvine

Abstract:	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 solutions to solve the verification challenge, such that users of future microprocessors 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.

Bio: 		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. Bertacco 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.

Bertacco 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. She 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.

Additional information:		If you would like to meet the speaker, please contact Athina Markopoulou (athina at uci.edu).



More information about the UCI-Calit2 mailing list