Jeremy R. Levitt

According to our database, Jeremy R. Levitt authored at least 10 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

2008

Functional test selection based on unsupervised support vector analysis.

Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster

Proceedings of the 45th Design Automation Conference, 2008

2005

Automatic assume guarantee analysis for assertion-based formal verification.

Dong Wang, Jeremy R. Levitt

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2001

A Decision Procedure for an Extensional Theory of Arrays.

Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1998

A Decision Procedure for Bit-Vector Arithmetic.

Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Proceedings of the 35th Conference on Design Automation, 1998

1997

Verifying correct pipeline implementation for microprocessors.

Jeremy R. Levitt, Kunle Olukotun

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

Validity Checking for Combinations of Theories with Equality.

Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

A Scalable Formal Verification Methodology for Pipelined Microprocessors.

Jeremy R. Levitt, Kunle Olukotun

Proceedings of the 33st Conference on Design Automation, 1996

1995

A General Method for Compiling Event-Driven Simulations.

Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun

Proceedings of the 32st Conference on Design Automation, 1995

1994

A software-hardware cosynthesis approach to digital system simulation.

Kunle Olukotun, Rachid Helaihel, Jeremy R. Levitt, Ricardo Ramírez

IEEE Micro, 1994