- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j1 |      | 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 | ||
| c8 | | Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Functional test selection based on unsupervised support vector analysis. DAC 2008: 262-267 |
| 2005 | ||
| c7 | | Dong Wang, Jeremy R. Levitt: Automatic assume guarantee analysis for assertion-based formal verification. ASP-DAC 2005: 561-566 |
| 2001 | ||
| c6 | | 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 | ||
| c5 | | Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for Bit-Vector Arithmetic. DAC 1998: 522-527 |
| 1997 | ||
| c4 | | Jeremy R. Levitt, Kunle Olukotun: Verifying correct pipeline implementation for microprocessors. ICCAD 1997: 162-169 |
| 1996 | ||
| c3 | | Jeremy R. Levitt, Kunle Olukotun: A Scalable Formal Verification Methodology for Pipelined Microprocessors. DAC 1996: 558-563 |
| c2 | | Clark W. Barrett, David L. Dill, Jeremy R. Levitt: Validity Checking for Combinations of Theories with Equality. FMCAD 1996: 187-201 |
| 1995 | ||
| c1 | | Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun: A General Method for Compiling Event-Driven Simulations. DAC 1995: 151-156 |
| 1 | Clark W. Barrett (Clark Barrett) | |
| 2 | David L. Dill | |
| 3 | Harry Foster | |
| 4 | Robert S. French | |
| 5 | Onur Guzey | |
| 6 | Monica S. Lam | |
| 7 | Kunle Olukotun (Oyekunle A. Olukotun) | |
| 8 | Aaron Stump | |
| 9 | Dong Wang | |
| 10 | Li-C. Wang |
Colors in the list of coauthors
Last update Thu May 23 21:40:59 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page