Research ProfileYouTube video
- "BugMD: Automatic Mismatch Diagnosis for Bug Triaging"
- Biruk Mammo, Milind Furia, Valeria Bertacco, Scott Mahlke and Daya Khudia
International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2016
- "Correct Runtime Operation for NoCs through Adaptive-Region Protection"
- Rawan Abdel-Khalek and Valeria Bertacco
Design Automation and Test in Europe (DATE), Dresden, Germany, March 2016
- "High-Radix On-chip Networks with Low-Radix Routers"
- Animesh Jain, Ritesh Parikh and Valeria Bertacco
International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2014
- "uDIREC: Unified Diagnosis and Reconfiguration for Frugal Bypass of NoC faults"
- Ritesh Parikh and Valeria Bertacco
International Symposium on Microarchitecture (MICRO), Davis, CA, December 2013
Post-Silicon and Runtime Verification for Modern ProcessorsIlya Wagner and Valeria Bertacco
published by Springer, 2011.
Functional Design Error in Digital CircuitsKai-hui Chang, Igor Markov and Valeria Bertacco
published by Springer, 2008.
Scalable Hardware Verification with Symbolic SimulationValeria Bertacco
published by Springer, 2005.
- "Achieving Design Correctness (Finally!) with Runtime Checking" - 12/2013
- "Making System-Level Lemonade Out of Hardware Lemons" - 05/2013
- "Multi-core Processors: Will We Ever Get Them Right?" - 03/2013