Security

  • "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

  • "Engineering Trust with Semantic Guardians"
    Ilya Wagner and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Nice, France, April 2007
    PDF File

Reliable system design

  • "Vicis: A Reliable Network for Unreliable Silicon"
    David Fick, Andrew DeOrio, Jin Hu, Valeria Bertacco, Dennis Sylvester and David Blaauw
    Design Automation Conference (DAC), San Francisco, CA, July 2009
    PDF File

  • "A Flexible Software-Based Framework for Online Detection of Hardware Defects"
    Kypros Constantinides, Onur Mutlu, Todd Austin and Valeria Bertacco
    IEEE Transactions on Computers (TC)
    Coming soon

  • "A Highly Resilient Routing Algorithm for Fault-Tolerant NoCs"
    David Fick, Andrew DeOrio, Valeria Bertacco, Dennis Sylvester and David Blaauw
    Design Automation and Test in Europe (DATE), Nice, France, April 2009
    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

  • "Reliable Systems on Unreliable Fabrics"
    Todd Austin, Valeria Bertacco, Scott Mahlke and Yu Cao
    IEEE Design & Test (D&T), Volume 25, Issue 4, July/August 2008
    PDF File

  • "Software-Based Defect Tolerance for Chip-Multiprocessors"
    Kypros Constantinides, Onur Mutlu, Todd Austin and Valeria Bertacco
    International Symposium on Microarchitecture (MICRO), Chicago, IL, December 2007
    PDF File

  • "Low-Cost Protection Against SER Upsets and Silicon Defects"
    Mojtaba Mehrara, Mona Attarian, Smitha Shyam, Kypros Constantinides, Valeria Bertacco and Todd Austin
    Design Automation and Test in Europe (DATE), Nice, France, April 2007
    PDF File

  • "Architecting a Reliable CMP Switch Architecture"
    Kypros Constantinides, Stephen Plaza, Jason Blome, Valeria Bertacco, Scott Mahlke, Todd Austin, Bin Zhang and Michael Orshansky
    ACM Transactions on Architecture and Code Optimization (TACO), Volume 4, Issue 1, March 2007
    PDF File

  • "Ultra Low-Cost Defect Protection for Microprocessor Pipelines"
    Kypros Constantinides, Smitha Shyam, Sujay Phadke, Valeria Bertacco and Todd Austin
    International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, CA, October 2006
    PDF File

  • "BulletProof: A Defect­Tolerant CMP Switch Architecture"
    Kypros Constantinides, Stephen Plaza, Jason Blome, Bin Zhang, Valeria Bertacco, Scott Mahlke, Todd Austin and Michael Orshansky
    International Symposium on High-Performance Computer Architecture (HPCA), Austin, TX, February 2006
    PDF File

  • "VOLTaiRE: Low-Cost Fault Detection Solutions for VLIW Microprocessors"
    Smitha Shyam, Sujay Phadke, Benjamin Lui, Hitesh Gupta, Valeria Bertacco, David Blaauw
    Workshop on Introspective Architecture (WISA06), Austin, TX, February 2006
    PDF File

  • "Assessing SEU Vulnerability via Circuit-Level Timing Analysis"
    Kypros Constantinide,s Stephen Plaza, Jason Blome, Bin Zhang, Valeria Bertacco, Scott Mahlke, Todd Austin and Michael Orshansky
    Workshop on Architectural Reliability (WAR-1), Barcelona, Spain, November 2005
    PDF File

Formal verification

  • "Human Computing for EDA"
    Andrew DeOrio and Valeria Bertacco
    Design Automation Conference (DAC), San Francisco, CA, July 2009
    PDF File

  • "Low-latency SAT Solving on Multicore Processors with Priority Scheduling and XOR Partitioning"
    Stephen Plaza, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, June 2008
    PDF File

  • "Advances and Insights into Parallel SAT Solving"
    Stephen Plaza, Ian Kountanis, Zaher Andraus, Valeria Bertacco and Trevor Mudge
    International Workshop on Logic Synthesis (IWLS), Vail, CO, June 2006
    PDF File

  • "Distance-Guided Hybrid Verification with GUIDO"
    Smitha Shyam and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Munich, Germany, March 2006
    PDF File

  • "GUIDO: Hybrid Verification by Distance-Guided Simulation"
    Smitha Shyam and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Lake Arrowhead, CA, June 2005
    PDF File

  • "Boolean Operations on Decomposed Functions"
    Stephen Plaza and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Lake Arrowhead, CA, June 2005
    PDF File

  • "STACCATO: Disjoint Support Decompositions from BDDs through Symbolic Kernels"
    Stephen Plaza and Valeria Bertacco
    Asia-South Pacific Design Automation Conference (ASPDAC), Shanghai, China, January 2005
    PDF File

  • "Restoring Circuit Structure from SAT Instances"
    Jarrod Roy, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Temecula Creek, CA, June 2004
    PDF File

  • "Efficient State Representation for Symbolic Simulation"
    Valeria Bertacco and Kunle Olukotun
    Design Automation Conference (DAC), New Orleans, LA, June 2002
    PDF File

  • "Smart Simulation Using Collaborative Formal and Simulation Engines"
    Pei-Hsin Ho, Thomas Shiple, Kevin Harer, James Kukula, Robert Damiano, Valeria Bertacco, Jerry Taylor and Jiang Long
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2000
    PDF File

  • "Cycle-based Symbolic Simulation of Gate-level Synchronous Circuits"
    Valeria Bertacco, Maurizio Damiani and Stefano Quer
    Design Automation Conference (DAC), New Orleans, LA, June 1999
    PDF File

  • "Finding complex disjunctive decompositions of logic functions"
    Maurizio Damiani and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, June 1998
    PDF File

  • "The Disjunctive Decomposition of Logic Functions"
    Valeria Bertacco and Maurizio Damiani
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 1997
    PDF File

  • "The disjunctive decomposition of logic functions"
    Valeria Bertacco and Maurizio Damiani
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, June 1997
    PDF File

  • "Decision Diagrams and Pass Transistor Logic Synthesis"
    Valeria Bertacco, Shin-ichi Minato, Peter Verplaetse, Luca Benini, Giovanni DeMicheli
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, June 1997
    PDF File

  • "Boolean Function Representation Based on Disjoint-Support Decompositions"
    Valeria Bertacco and Maurizio Damiani
    International Conference on Computer Design (ICCD), Austin, TX, October 1996
    PDF File
    PDF File - long version

  • "An efficient canonical representation of logic functions based on disjoint-support decomposition"
    Valeria Bertacco and Maurizio Damiani
    Workshop on DFT/BIST, Vail, CO, April 1996
    PDF File

  • "Boolean Function Representation Using Parallel-Access Diagrams"
    Valeria Bertacco and Maurizio Damiani
    6th Great Lakes Symposium on VLSI (GLS-VLSI), Des Moines, IA, March 1996
    PDF File

Post-silicon and runtime validation

  • "CASPAR: Hardware Patching for Multi-core Processors"
    Ilya Wagner and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Nice, France, April 2009
    PDF File

  • "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
    Best Paper Award
    PDF File

  • "Post-Silicon Verification for Cache Coherence"
    Andrew DeOrio, Adam Bauserman and Valeria Bertacco
    IEEE International Conference on Computer Design (ICCD), Lake Tahoe, CA, October 2008
    PDF File

  • "Automating Post-Silicon Debugging and Repair"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    IEEE Computer, Volume 41, Issue 7, July 2008
    PDF File

  • "MCjammer: Adaptive Verification for Multi-core Designs"
    Ilya Wagner and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Munich, Germany, March 2008
    PDF File

  • "Using Field-Repairable Control Logic to Correct Design Errors in Microprocessor Pipelines"
    Ilya Wagner, Valeria Bertacco and Todd Austin
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 27, Issue 2, February 2008
    PDF File

  • "Chico: An On-Chip Hardware Checker for Pipeline Control Logic"
    Andrew DeOrio, Adam Bauserman and Valeria Bertacco
    International Workshop on Microprocessor Test and Verification (MTV), Austin, TX, December 2007
    PDF File

  • "Automating Post-Silicon Debugging and Repair"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2007
    PDF File

  • "MCjammer: An Adaptive Verification Tool for Multi-core and Multi-processor Designs"
    Ilya Wagner and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), San Diego, CA, June 2007
    PDF File

  • "Automatic Post-Silicon Debugging and Repair"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), San Diego, CA, June 2007
    PDF File

  • "Shielding Against Design Flaws with Field Repairable Control Logic"
    Ilya Wagner, Valeria Bertacco and Todd Austin
    Design Automation Conference (DAC), San Francisco, CA, July 2006
    PDF File

Low-maintenance simulation

  • "Event-Driven Gate-Level Simulation with GP-GPUs"
    Debapriya Chatterjee, Andrew DeOrio and Valeria Bertacco
    Design Automation Conference (DAC), San Francisco, CA, July 2009
    PDF File

  • "Debugging Strategies for Mere Mortals"
    Valeria Bertacco
    Design Automation Conference (DAC), San Francisco, CA, July 2009
    PDF File

  • "GCS: High Performance Gate-Level Simulation with GP-GPUs"
    Debapriya Chatterjee, Andrew DeOrio and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Nice, France, April 2009
    PDF File

  • "INFERNO: Streamlining Verification with Inferred Semantics"
    Andrew DeOrio, Adam Bauserman, Valeria Bertacco and Beth Isaksen
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 28, Issue 5, May 2009
    PDF File

  • "Incremental Verification System for Error Detection, Diagnosis, and Visualization"
    Kai-hui Chang, David Papa, Igor Markov and Valeria Bertacco
    IEEE Design & Test (D&T), Volume 26, Issue 2, March/April 2009
    PDF File

  • "Random Stimulus Generation using Entropy and XOR constraints"
    Stephen Plaza, Igor Markov and Valeria Bertacco
    Design Automation and Test in Europe (DATE), Munich, Germany, March 2008
    PDF File

  • "Fixing Design Errors with Counterexamples and Resynthesis"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 27, Issue 1, January 2008
    PDF File

  • "Automatic Error Diagnosis and Correction for RTL Designs"
    Kai-hui Chang, Ilya Wagner, Valeria Bertacco and Igor Markov
    High-Level Design and Validation Workshop (HLDVT), Irvine, CA, November 2007
    PDF File

  • "Microprocessor Verification via Feedback-Adjusted Markov Models"
    Ilya Wagner, Valeria Bertacco and Todd Austin
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 26, Issue 6, June 2007
    PDF File

  • "Toggle: A Coverage-guided Random Stimulus Generator"
    Stephen Plaza, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), San Diego, CA, June 2007
    PDF File

  • "Automatic Error Diagnosis and Correction for RTL Designs"
    Kai-hui Chang, Ilya Wagner, Valeria Bertacco and Igor Markov
    International Workshop on Logic Synthesis (IWLS), San Diego, CA, June 2007
    PDF File

  • "InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization"
    Kai-hui Chang, David Papa, Igor Markov and Valeria Bertacco
    International Symposium on Quality Elecronic Design (ISQED), San Jose, CA, March 2007
    PDF File

  • "Low Maintenance Verification"
    Valeria Bertacco
    Design Verification Conference (DVCON), (invited paper), San Jose, CA, February 2007
    PDF File

  • "Fixing Design Errors with Counterexamples and Resynthesis"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    Asia-South Pacific Design Automation Conference (ASP-DAC), Yokohama City, Japan, January 2007
    PDF File

  • "Simulation-based Bug Trace Minimization with BMC-based Refinement"
    Kai-hui Chang, Valeria Bertacco and Igor Markov
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 26, Issue 1, January 2007
    PDF File

  • "Verification Through the Principle of Least Astonishment"
    Beth Isaksen and Valeria Bertacco
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2006
    PDF File

  • "Fast Simulation and Equivalence Checking using OAGear"
    Kai-hui Chang, David Papa, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Vail, CO, June 2006
    PDF File

  • "Depth-Driven Verification of Simultaneous Interfaces"
    Ilya Wagner, Valeria Bertacco and Todd Austin
    Asia-South Pacific Design Automation Conference (ASP-DAC), Yokohama City, Japan, January 2006
    PDF File

  • "Simulation-based Bug Trace Minimization with BMC-based refinement"
    Kai-hui Chang, Valeria Bertacco and Igor Markov
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2005
    PDF File

  • "StressTest: An Automatic Approach to Test Generation Via Activity Monitors"
    Ilya Wagner, Valeria Bertacco and Todd Austin
    Design Automation Conference (DAC), Anaheim, CA, June 2005
    PDF File

  • "Circuit-Aware Architectural Simulation"
    Seokwoo Lee, Shidhartha Das, Valeria Bertacco, Todd Austin, David Blaauw and Trevor Mudge
    Design Automation Conference (DAC), San Diego, CA, June 2004
    PDF File

Physical design optimization

  • "Customizing IP Cores for System-on-Chip Designs"
    Kai-hui Chang, Valeria Bertacco and Igor Markov
    Design Automation and Test in Europe (DATE), Nice, France, April 2009
    PDF File

  • "Optimizing Non-Monotonic Interconnect using Functional Simulation and Logic Restructuring"
    Stephen Plaza, Igor Markov and Valeria Bertacco
    IEEE Transactions on Computer-Aided Design (TCAD), Volume 27, Issue 12, December 2008
    PDF File

  • "SafeResynth: A New Technique for Physical Synthesis"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    Integration, The VLSI Journal - Elsevier, Volume 41, Issue 4, July 2008
    PDF File

  • "Synthesis with External Don't-Cares Using Shannon Entropy and Craig Interpolation"
    Kai-hui Chang, Valeria Bertacco, Igor Markov and Alan Mishchenko
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, June 2008
    PDF File

  • "Post-Placement Rewiring by Exhaustive Search for Functional Symmetries"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 12, Issue 3, August 2007
    PDF File

  • "Reap what you sow: spare cells for post­silicon metal fix"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Symposium on Physical Design (ISPD), Portland, OR, April 2008
    PDF File

  • "Optimizing Non-Monotonic Interconnect using Functional Simulation and Logic Restructuring"
    Stephen Plaza, Igor Markov and Valeria Bertacco
    International Symposium on Physical Design (ISPD), Portland, OR, April 2008
    Best Paper Award
    PDF File

  • "Node Mergers in the Presence of Don't Cares"
    Stephen Plaza, Kai-hui Chang, Igor Markov and Valeria Bertacco
    Asia-South Pacific Design Automation Conference (ASP-DAC), Yokohama City, Japan, January 2007
    PDF File

  • "Safe Delay Optimization for Physical Synthesis"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    Asia-South Pacific Design Automation Conference (ASP-DAC), Yokohama City, Japan, January 2007
    PDF File

  • "Keeping Physical Synthesis Safe and Sound"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Vail, CO, June 2006
    PDF File

  • "Post-Placement Rewiring and Rebuffering by Exhaustive Search for Functional Symmetries"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2005
    PDF File

  • "Deployment of Better Than Worst-Case Design: Solutions and Needs"
    Todd Austin and Valeria Bertacco
    International Conference on Computer Design (ICCD), (invited paper), San Jose, CA, October 2005
    PDF File

  • "Post-Placement Rewiring and Rebuffering by Exhaustive Search for Functional Symmetries"
    Kai-hui Chang, Igor Markov and Valeria Bertacco
    International Workshop on Logic Synthesis (IWLS), Lake Arrowhead, CA, June 2005
    PDF File

  • "Opportunities and Challenges for Better Than Worst-Case Design"
    Todd Austin, Valeria Bertacco, David Blaauw and Trevor Mudge
    Asia-South Pacific Design Automation Conference (ASPDAC), (invited paper), Shanghai, China, January 2005
    PDF File

  • "Microarchitectural Power Modeling Techniques for Deep Sub-Micron Microprocessors"
    Nam Sung Kim, Tae Ho Kgil, Valeria Bertacco, Todd Austin and Trevor Mudge
    International Symposium on Low Power Electronics and Design (ISLPED), Newport, CA, August 2004
    PDF File