( en | de | ru )

 

Disambiguation of "Levitt, Jeremy R."

Author of the publication

copydeleteadd this publication to your clipboard
A General Method for Compiling Event-Driven Simulations.

, , , and . DAC, page 151-156. ACM Press, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cyril Levitt

Jeremy Cohen

Jérémy Bluteau

Jeremy Debattista

Jérémy Fix

 

Other publications of authors with the same name

A General Method for Compiling Event-Driven Simulations., , , and . DAC, page 151-156. ACM Press, (1995)Validity Checking for Combinations of Theories with Equality., , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 187-201. Springer, (1996)Verifying correct pipeline implementation for microprocessors., and . ICCAD, page 162-169. IEEE Computer Society / ACM, (1997)A Scalable Formal Verification Methodology for Pipelined Microprocessors., and . DAC, page 558-563. ACM Press, (1996)Functional test selection based on unsupervised support vector analysis., , , and . DAC, page 262-267. ACM, (2008)A software-hardware cosynthesis approach to digital system simulation., , , and . IEEE Micro, 14 (4): 48-58 (1994)A Decision Procedure for Bit-Vector Arithmetic., , and . DAC, page 522-527. ACM Press, (1998)Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (1): 138-148 (2010)The Genetic Algorithm applied to Gate Sizing. Genetic Algorithms and Genetic Programming at Stanford 1995, Stanford Bookstore, Stanford, California, 94305-3079 USA, (11 December 1995)A Decision Procedure for an Extensional Theory of Arrays., , , and . LICS, page 29-37. IEEE Computer Society, (2001)