Jeremy Levitt

Mentor Technologies — United States

Computer Science · Physical Sciences

10h-index645citations12works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Logic, programming, and type systems(4), Embedded Systems Design Techniques(4), VLSI and Analog Circuit Testing(4), Parallel Computing and Optimization Techniques(3)

Publications12 total

Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2009· 15 cited
Functional test selection based on unsupervised support vector analysis
2008· 35 cited
A scalable formal verification methodology for pipelined microprocessors
33rd Design Automation Conference Proceedings, 1996·2005· 4 cited
Automatic assume guarantee analysis for assertion-based formal verification
2005· 7 cited
A decision procedure for an extensional theory of arrays
2002· 135 cited
A Decision Procedure for Bit-Vector Arithmetic
1998· 22 cited
A decision procedure for bit-vector arithmetic
1998· 102 citedOpen Access
Verifying correct pipeline implementation for microprocessors
International Conference on Computer Aided Design·1997· 26 cited
A scalable formal verification methodology for pipelined microprocessors
1996· 26 cited
Validity checking for combinations of theories with equality
Lecture notes in computer science·1996· 180 cited
A general method for compiling event-driven simulations
1995· 50 cited
A software-hardware cosynthesis approach to digital system simulation
IEEE Micro·1994· 43 cited

Frequent Co-authors

Kunle Olukotun(5), Clark Barrett(4), David L. Dill(4), Onur Guzey(2), Li-C. Wang(2), Harry Foster(2), Aaron Stump(1), Robert Stanton French(1), Monica S. Lam(1), Rachid Helaihel(1), Ramón Limón Ramírez(1), Dong Wang(1)