Jeremy Levitt
Mentor Technologies(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Embedded Systems Design Techniques, VLSI and Analog Circuit Testing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Validity checking for combinations of theories with equality(1996)180 cited
- → A decision procedure for an extensional theory of arrays(2002)135 cited
- → A decision procedure for bit-vector arithmetic(1998)102 cited
- → A general method for compiling event-driven simulations(1995)50 cited
- → A software-hardware cosynthesis approach to digital system simulation(1994)43 cited
- → Functional test selection based on unsupervised support vector analysis(2008)35 cited
- → A scalable formal verification methodology for pipelined microprocessors(1996)26 cited
- → Verifying correct pipeline implementation for microprocessors(1997)26 cited
- → Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis(2009)15 cited