Search the dblp DataBase

Publications of Author

1. Dong Wang, Jeremy R. Levitt
   Automatic assume guarantee analysis for assertion-based formal verification. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2005, pp:561-566 [Conf]
   
2. Clark W. Barrett, David L. Dill, Jeremy R. Levitt
   A Decision Procedure for Bit-Vector Arithmetic. [Citation Graph (0, 0)][DBLP]
   DAC, 1998, pp:522-527 [Conf]
   
3. Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun
   A General Method for Compiling Event-Driven Simulations. [Citation Graph (0, 0)][DBLP]
   DAC, 1995, pp:151-156 [Conf]
   
4. Jeremy R. Levitt, Kunle Olukotun
   A Scalable Formal Verification Methodology for Pipelined Microprocessors. [Citation Graph (0, 0)][DBLP]
   DAC, 1996, pp:558-563 [Conf]
   
5. Clark W. Barrett, David L. Dill, Jeremy R. Levitt
   Validity Checking for Combinations of Theories with Equality. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:187-201 [Conf]
   
6. Jeremy R. Levitt, Kunle Olukotun
   Verifying correct pipeline implementation for microprocessors. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1997, pp:162-169 [Conf]
   
7. Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt
   A Decision Procedure for an Extensional Theory of Arrays. [Citation Graph (0, 0)][DBLP]
   LICS, 2001, pp:29-37 [Conf]
   
8. 
   Functional test selection based on unsupervised support vector analysis. [Citation Graph (, )][DBLP]