Jesse Whittemore

According to our database, Jesse Whittemore authored at least 5 papers between 1998 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2001

SATIRE: A New Incremental Satisfiability Engine.

Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah

Proceedings of the 38th Design Automation Conference, 2001

2000

On Solving Stack-Based Incremental Satisfiability Problems.

Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

On Applying Incremental Satisfiability to Delay Fault Testing.

Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva

Proceedings of the 2000 Design, 2000

1998

AFTA: A Formal Delay Model for Functional Timing Analysis.

V. Chandramouli, Jesse Whittemore, Karem A. Sakallah

Proceedings of the 1998 Design, 1998