A software-hardware cosynthesis approach to digital system simulation. - Kunle Olukotun; Rachid Helaihel; Jeremy R. Levitt; Ricardo Ramírez (IEEE Micro, 1994)

A General Method for Compiling Event-Driven Simulations. - Robert S. French; Monica S. Lam; Jeremy R. Levitt; Kunle Olukotun (DAC, 1995)

A Scalable Formal Verification Methodology for Pipelined Microprocessors. - Jeremy R. Levitt; Kunle Olukotun (DAC, 1996)

Validity Checking for Combinations of Theories with Equality. - Clark W. Barrett; David L. Dill; Jeremy R. Levitt (FMCAD, 1996)

Verifying correct pipeline implementation for microprocessors. - Jeremy R. Levitt; Kunle Olukotun (ICCAD, 1997)

A Decision Procedure for Bit-Vector Arithmetic. - Clark W. Barrett; David L. Dill; Jeremy R. Levitt (DAC, 1998)

A Decision Procedure for an Extensional Theory of Arrays. - Aaron Stump; Clark W. Barrett; David L. Dill; Jeremy R. Levitt (LICS, 2001)

Automatic assume guarantee analysis for assertion-based formal verification. - Dong Wang; Jeremy R. Levitt (ASP-DAC, 2005)

Functional test selection based on unsupervised support vector analysis. - Onur Guzey; Li-C. Wang; Jeremy R. Levitt; Harry Foster (DAC, 2008)

Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis. - Onur Guzey; Li-C. Wang; Jeremy R. Levitt; Harry Foster (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)