Research Profile

YouTube video

Recent publications

"MTraceCheck: Validating Non-Deterministic Behavior of Memory Consistency Models in Post-Silicon Validation"
Doowon Lee and Valeria Bertacco
International Symposium on Computer Architecture (ISCA), Toronto, CA, June 2017
PDF File

"Regaining Lost Cycles with HotCalls: A New Fast Interface for SGX Secure Enclaves"
Ofir Wiesse, Todd Austin and Valeria Bertacco
International Symposium on Computer Architecture (ISCA), Toronto, CA, June 2017
PDF File

"AGARSoC: Automated Test and Coverage-Model Generation for Verification of "
Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou and Valeria Bertacco
Asia-South Pacific Design Automation Conference (ASP-DAC), Yokohama City, Japan, January 2017
PDF File

"Resource Conscious Diagnosis and Reconfiguration for NoC Permanent Faults"
Ritesh Parikh and Valeria Bertacco
IEEE Transactions on Computers (TC), Volume 65-7, July 2016
PDF File

Publications

By forum:    Conference       Book chapters & Journal       Workshop

By topic:
Reliable system design
Post-silicon and Runtime validation
Acceleration and Validation
High performance NoC design
Security
Formal verification
Physical design optimization

Books

Post-Silicon and Runtime Verification for Modern Processors

Ilya Wagner and Valeria Bertacco
published by Springer, 2011.

more info
order through Amazon

Functional Design Error in Digital Circuits

Kai-hui Chang, Igor Markov and Valeria Bertacco
published by Springer, 2008.

more info
order through Amazon

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco
published by Springer, 2005.

more info
order through Amazon

Recent presentations

  • “Careers in Academia” - NextProf Michigan, Ann Arbor, MI, May 2016

  • “Achieving Design Correctness (Finally!) with Runtime Checking” - Duke University, Durham, NC, October 2016

  • “Reliable and Power-Efficient NoC Designs” - Texas Instruments, Dallas, TX, January 2015

  • “The AAiT project: Research and mentoring collaborations” - Introduction of the Knight-Wallace Fellows 2014, University of Michigan, CoE, January 2014

Ph.D. Thesis

I completed my Ph.D. in Electrical Engineering at Stanford in 2003. My advisor was Kunle Olukotun. The title of my dissertation is "Achieving scalable hardware verification with symbolic simulation". For a high level overview of my PhD work, read this elevator talk.