Concepedia

Jeremy Levitt

JL

8

Publications

432

Citations

8

H-Index

1994

Active since

Affiliations

Stanford University(Current)

University of California, Santa Barbara

Jeremy Levitt is an author at Stanford University specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringVerificationFormal MethodsSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringProgram Analysis

Publications per year

1994–2009

8

Publications

8

A decision procedure for an extensional theory of arrays

Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 135 citations

Mathematical Programming, Computational Complexity Theory, Engineering +16

A decision procedure for bit-vector arithmetic

Clark Barrett, David L. Dill, Jeremy Levitt · 1998 · 102 citations · Full text

Engineering, Hardware Verification Language, Verification +18

A general method for compiling event-driven simulations

Robert Stanton French, Monica S. Lam, Jeremy Levitt et al. · 1995 · 50 citations

Engineering, Prototype Verilog Simulator, Event Queue +20

A software-hardware cosynthesis approach to digital system simulation

Kunle Olukotun, Rachid Helaihel, Jeremy Levitt et al. · IEEE Micro · 1994 · 43 citations

Hardware Modeling, Engineering, Software-hardware Cosynthesis Approach +18

Functional test selection based on unsupervised support vector analysis

Onur Guzey, Li-C. Wang, Jeremy Levitt et al. · 2008 · 35 citations

Engineering, Verification, Test Coverage +23

Rows per page

1–5 of 8