Recent publications
- "DACOTA: Post-silicon Validation of the Memory Subsystem in Multi-Core Designs"
- Andrew DeOrio, Ilya Wagner and Valeria Bertacco
International Symposium on High-Performance Computer Architecture (HPCA), Raleigh, NC, February 2009
PDF File - "Reversi: Post-Silicon Validation System for Modern Microprocessors"
- Ilya Wagner and Valeria Bertacco
IEEE International Conference on Computer Design (ICCD), Lake Tahoe, CA, October 2008
PDF File
- Best Paper Award - "Testudo: Heavyweight Security Analysis via Statistical Sampling"
- Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd Austin, Valeria Bertacco and Seth Pettie
International Symposium on Microarchitecture (MICRO), Lake Como, Italy, November 2008
PDF File - "CrashTest: A fast High-Fidelity FPGA-based Resiliency Analysis Framework"
- Andrea Pellegrini, Kypros Constantinides, Dan Zhang, Shobana Sudhakar, Valeria Bertacco and Todd Austin
IEEE International Conference on Computer Design (ICCD), Lake Tahoe, CA, October 2008
PDF File - "Optimizing Non-Monotonic Interconnect using Functional Simulation and Logic Restructuring"
- Stephen Plaza, Igor Markov and Valeria Bertacco
ISPD, Portland, Oregon, April 2008
Best Paper Award
PDF File
Research
Research Projects
under construction
Publications
By type:
Conference publications
Journal publications
Workshops publications
By topic:
Security
Reliable system design
Formal verification
Post-silicon and runtime validation
Low-maintenance simulation
Physical design optimization
Books
Scalable Hardware Verification with Symbolic Simulation
Valeria Bertaccopublished by Springer, 2005.
more info
order through Amazon
Functional Design Error in Digital Circuits
Kai-hui Chang, Igor Markov and Valeria Bertaccopublished by Springer, 2008.
more info
order through Amazon
Post-silicon and Runtime Verification for Modern Processors
Ilya Wagner and Valeria Bertacco
Springer, 2009.
Invited presentations
under construction