| 2008 |
|---|
| 8 | EE | 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 | EE | 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 | EE | Clark W. Barrett,
David L. Dill,
Jeremy R. Levitt:
A Decision Procedure for Bit-Vector Arithmetic.
DAC 1998: 522-527 |
| 1997 |
|---|
| 4 | EE | Jeremy R. Levitt,
Kunle Olukotun:
Verifying correct pipeline implementation for microprocessors.
ICCAD 1997: 162-169 |
| 1996 |
|---|
| 3 | EE | 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 | EE | Robert S. French,
Monica S. Lam,
Jeremy R. Levitt,
Kunle Olukotun:
A General Method for Compiling Event-Driven Simulations.
DAC 1995: 151-156 |
