Jeremy R. Levitt

	2010
9		Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 29(1): 138-148 (2010)
	2008
8		Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Functional test selection based on unsupervised support vector analysis. DAC 2008: 262-267
	2005
7		Dong Wang, Jeremy R. Levitt: Automatic assume guarantee analysis for assertion-based formal verification. ASP-DAC 2005: 561-566
	2001
6		Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for an Extensional Theory of Arrays. LICS 2001: 29-37
	1998
5		Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for Bit-Vector Arithmetic. DAC 1998: 522-527
	1997
4		Jeremy R. Levitt, Kunle Olukotun: Verifying correct pipeline implementation for microprocessors. ICCAD 1997: 162-169
	1996
3		Jeremy R. Levitt, Kunle Olukotun: A Scalable Formal Verification Methodology for Pipelined Microprocessors. DAC 1996: 558-563
2		Clark W. Barrett, David L. Dill, Jeremy R. Levitt: Validity Checking for Combinations of Theories with Equality. FMCAD 1996: 187-201
	1995
1		Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun: A General Method for Compiling Event-Driven Simulations. DAC 1995: 151-156

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[2] [5] [6]
2	David L. Dill	[2] [5] [6]
3	Harry Foster	[8] [9]
4	Robert S. French	[1]
5	Onur Guzey	[8] [9]
6	Monica S. Lam	[1]
7	Kunle Olukotun (Oyekunle A. Olukotun)	[1] [3] [4]
8	Aaron Stump	[6]
9	Dong Wang	[7]
10	Li-C. Wang	[8] [9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page