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