- Assistant:
-
Rebekah Smith
CSE #4812 - ACAL Lab
rebsmith@eecs.umich.edu
734 763.3296 - Teaching this semester
-
Winter 2007:
EECS 370 - Introduction to Computer Organization
- Recent publications
-
"Engineering Trust with Semantic Guardians"
Ilya Wagner and Valeria Bertacco
DATE, Nice, France, April 2007 -
"Low-Cost Protection Against SER Upsets and Silicon Defects"
Mojtaba Mehrara, Mona Attarian, Smitha Shyam, Kypros Constantinides, Valeria Bertacco and Todd Austin
DATE, Nice, France, April 2007 -
"InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization"
Kai-hui Chang, David Papa, Igor Markov and Valeria Bertacco
ISQED, San Jose, CA, March 2007 -
"Low Maintenance Verification"
Valeria Bertacco
DVCON, San Jose, CA, February 2007
Research interests
I am interested in the functional verification of hardware designs, focusing mainly in the creation of novel techniques and verification methodologies that enable the formal and semi-formal verification of industrial scale designs.
My present research and my professional experience are centered on the development of new algorithms for hybrid, semi-formal verification which lead to a high level of confidence in the correctness of a design, while minimizing demands on the verification team.
This focus is extended to guaranteeing the correctness of designs after completion and in the field, through techniques that use dynamic verification and novel reliability mechanisms to extend the lifetime of an IC design, in face of the challenges posed by fragile silicon and extreme design complexity.
Affiliation
I am part of the Advanced Computer Architecture Lab in the EECS Department of the University of Michigan. The lab includes 12 faculty members and approximately 65 students. The Lab is part of the Computer Science and Engineering division.
The links below include a recent presentation of the lab, student posters presented during a recent lab visit, and an introduction of the division by our associate chair. For a quick analysis of our competitive advantages, you can also find the top 10 reasons why you should join Michigan!