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