Jeremy R. Levitt

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

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. Comput. Aided Des. Integr. Circuits Syst. 29 (1) (2010)
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster
Functional test selection based on unsupervised support vector analysis. DAC (2008)
Dong Wang, Jeremy R. Levitt
Automatic assume guarantee analysis for assertion-based formal verification. ASP-DAC (2005)
Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt
A Decision Procedure for an Extensional Theory of Arrays. LICS (2001)
Clark W. Barrett, David L. Dill, Jeremy R. Levitt
A Decision Procedure for Bit-Vector Arithmetic. DAC (1998)
Jeremy R. Levitt, Kunle Olukotun
Verifying correct pipeline implementation for microprocessors. ICCAD (1997)
Jeremy R. Levitt, Kunle Olukotun
A Scalable Formal Verification Methodology for Pipelined Microprocessors. DAC (1996)
Clark W. Barrett, David L. Dill, Jeremy R. Levitt
Validity Checking for Combinations of Theories with Equality. FMCAD (1996)
Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun
A General Method for Compiling Event-Driven Simulations. DAC (1995)
Kunle Olukotun, Rachid Helaihel, Jeremy R. Levitt, Ricardo Ramírez
A software-hardware cosynthesis approach to digital system simulation. IEEE Micro 14 (4) (1994)