Jesse Whittemore

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Publications

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV (2009)
Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah
SATIRE: A New Incremental Satisfiability Engine. DAC (2001)
Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah
On Solving Stack-Based Incremental Satisfiability Problems. ICCD (2000)
Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva
On Applying Incremental Satisfiability to Delay Fault Testing. DATE (2000)
V. Chandramouli, Jesse Whittemore, Karem A. Sakallah
AFTA: A Formal Delay Model for Functional Timing Analysis. DATE (1998)