Valeria Bertacco

2008
40	EE	Stephen Plaza, Igor L. Markov, Valeria Bertacco: Random Stimulus Generation using Entropy and XOR Constraints. DATE 2008: 664-669
39	EE	Ilya Wagner, Valeria Bertacco: MCjammer: Adaptive Verification for Multi-core Designs. DATE 2008: 670-675
38	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Reap what you sow: spare cells for post-silicon metal fix. ISPD 2008: 103-110
37	EE	Stephen Plaza, Igor L. Markov, Valeria Bertacco: Optimizing non-monotonic interconnect using functional simulation and logic restructuring. ISPD 2008: 95-102
36	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Fixing Design Errors With Counterexamples and Resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 184-188 (2008)
35	EE	Ilya Wagner, Valeria Bertacco, Todd M. Austin: Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors. IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 380-393 (2008)
34	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: SafeResynth: A new technique for physical synthesis. Integration 41(4): 544-556 (2008)
2007
33	EE	Stephen Plaza, Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Node Mergers in the Presence of Don't Cares. ASP-DAC 2007: 414-419
32	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Safe Delay Optimization for Physical Synthesis. ASP-DAC 2007: 628-633
31	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Fixing Design Errors with Counterexamples and Resynthesis. ASP-DAC 2007: 944-949
30	EE	Mojtaba Mehrara, Mona Attariyan, Smitha Shyam, Kypros Constantinides, Valeria Bertacco, Todd M. Austin: Low-cost protection for SER upsets and silicon defects. DATE 2007: 1146-1151
29	EE	Ilya Wagner, Valeria Bertacco: Engineering trust with semantic guardians. DATE 2007: 743-748
28	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Automating post-silicon debugging and repair. ICCAD 2007: 91-98
27	EE	Kai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco: InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization. ISQED 2007: 487-494
26	EE	Kypros Constantinides, Onur Mutlu, Todd M. Austin, Valeria Bertacco: Software-Based Online Detection of Hardware Defects Mechanisms, Architectural Support, and Evaluation. MICRO 2007: 97-108
25	EE	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Postplacement rewiring by exhaustive search for functional symmetries. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
24	EE	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov: Simulation-Based Bug Trace Minimization With BMC-Based Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 26(1): 152-165 (2007)
23	EE	Ilya Wagner, Valeria Bertacco, Todd M. Austin: Microprocessor Verification via Feedback-Adjusted Markov Models. IEEE Trans. on CAD of Integrated Circuits and Systems 26(6): 1126-1138 (2007)
22	EE	Kypros Constantinides, Stephen Plaza, Jason A. Blome, Valeria Bertacco, Scott A. Mahlke, Todd M. Austin, Bin Zhang, Michael Orshansky: Architecting a reliable CMP switch architecture. TACO 4(1): (2007)
2006
21	EE	Ilya Wagner, Valeria Bertacco, Todd M. Austin: Depth-driven verification of simultaneous interfaces. ASP-DAC 2006: 442-447
20	EE	Smitha Shyam, Kypros Constantinides, Sujay Phadke, Valeria Bertacco, Todd M. Austin: Ultra low-cost defect protection for microprocessor pipelines. ASPLOS 2006: 73-82
19	EE	Ilya Wagner, Valeria Bertacco, Todd M. Austin: Shielding against design flaws with field repairable control logic. DAC 2006: 344-347
18	EE	Smitha Shyam, Valeria Bertacco: Distance-guided hybrid verification with GUIDO. DATE 2006: 1211-1216
17	EE	Beth Isaksen, Valeria Bertacco: Verification through the principle of least astonishment. ICCAD 2006: 860-867
16	EE	Valeria Bertacco: Low maintenance verification. SBCCI 2006: 12
15	EE	Valeria Bertacco: Formal verification for real-world designs. SBCCI 2006: 5
2005
14	EE	Todd M. Austin, Valeria Bertacco, David Blaauw, Trevor N. Mudge: Opportunities and challenges for better than worst-case design. ASP-DAC 2005: 2-7
13	EE	Stephen Plaza, Valeria Bertacco: STACCATO: disjoint support decompositions from BDDs through symbolic kernels. ASP-DAC 2005: 276-279
12	EE	Ilya Wagner, Valeria Bertacco, Todd M. Austin: StressTest: an automatic approach to test generation via activity monitors. DAC 2005: 783-788
11		Kai-Hui Chang, Valeria Bertacco, Igor L. Markov: Simulation-based bug trace minimization with BMC-based refinement. ICCAD 2005: 1045-1051
10		Kai-Hui Chang, Igor L. Markov, Valeria Bertacco: Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. ICCAD 2005: 56-63
9	EE	Todd M. Austin, Valeria Bertacco: Deployment of Better Than Worst-Case Design: Solutions and Needs. ICCD 2005: 550-558
2004
8	EE	Seokwoo Lee, Shidhartha Das, Valeria Bertacco, Todd M. Austin, David Blaauw, Trevor N. Mudge: Circuit-aware architectural simulation. DAC 2004: 305-310
7	EE	Nam Sung Kim, Taeho Kgil, Valeria Bertacco, Todd M. Austin, Trevor N. Mudge: Microarchitectural power modeling techniques for deep sub-micron microprocessors. ISLPED 2004: 212-217
2002
6	EE	Valeria Bertacco, Kunle Olukotun: Efficient state representation for symbolic simulation. DAC 2002: 99-104
2000
5		Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long: Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD 2000: 120-126
1999
4	EE	Valeria Bertacco, Maurizio Damiani, Stefano Quer: Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. DAC 1999: 391-396
1997
3	EE	Valeria Bertacco, Maurizio Damiani: The disjunctive decomposition of logic functions. ICCAD 1997: 78-82
1996
2	EE	Valeria Bertacco, Maurizio Damiani: Boolean Function Representation Using Parallel-Access Diagrams. Great Lakes Symposium on VLSI 1996: 112-117
1	EE	Valeria Bertacco, Maurizio Damiani: Boolean Function Representation Based on Disjoint-Support Decompositions. ICCD 1996: 27-

Coauthor Index

1	Mona Attariyan	[30]
2	Todd M. Austin	[7] [8] [9] [12] [14] [19] [20] [21] [22] [23] [26] [30] [35]
3	David Blaauw (David T. Blaauw)	[8] [14]
4	Jason A. Blome	[22]
5	Kai-Hui Chang	[10] [11] [24] [25] [27] [28] [31] [32] [33] [34] [36] [38]
6	Kypros Constantinides	[20] [22] [26] [30]
7	Maurizio Damiani	[1] [2] [3] [4]
8	Robert F. Damiano	[5]
9	Shidhartha Das	[8]
10	Kevin Harer	[5]
11	Pei-Hsin Ho	[5]
12	Beth Isaksen	[17]
13	Taeho Kgil	[7]
14	Nam Sung Kim	[7]
15	James H. Kukula	[5]
16	Seokwoo Lee	[8]
17	Jiang Long	[5]
18	Scott A. Mahlke	[22]
19	Igor L. Markov	[10] [11] [24] [25] [27] [28] [31] [32] [33] [34] [36] [37] [38] [40]
20	Mojtaba Mehrara	[30]
21	Trevor N. Mudge	[7] [8] [14]
22	Onur Mutlu	[26]
23	Kunle Olukotun (Oyekunle A. Olukotun)	[6]
24	Michael Orshansky	[22]
25	David A. Papa	[27]
26	Sujay Phadke	[20]
27	Stephen Plaza	[13] [22] [33] [37] [40]
28	Stefano Quer	[4]
29	Thomas R. Shiple	[5]
30	Smitha Shyam	[18] [20] [30]
31	Jerry Taylor	[5]
32	Ilya Wagner	[12] [19] [21] [23] [29] [35] [39]
33	Bin Zhang	[22]

Colors in the list of coauthors