The document discusses automatic error recovery in targetless logic emulation. It proposes a system that saves checkpoints at the beginning of each logical command block (LCB) in the batch script. If an error occurs, it rolls back the system state to the last checkpoint and skips the failing LCB, resuming emulation and generating an error report. Checkpoints can be saved online in RAM or offline to disk. A checkpoint server manages checkpoint data to keep the emulation system unaffected. Experimental results show minimal overhead from online checkpointing.

1. Automatic Error Recovery in Targetless Logic Emulation Somnath Banerjee Tushar Gupta Mentor Graphics Pvt. Ltd. (India) Presented at ASQED 09, KL, Malaysia

4. Logic Emulation Components HDL Files SW Compiler Emulation HW Emulation Kernel Waveform and Debug Testbench

6. Standalone Emulation DUT Vector File Batch Script Loader Pattern Memory

7. Co-simulation DUT Batch Script Transactor SW Similator Loader

23. Checkpoint Server Emulation Kernel SW Testbench Checkpoint Server Checkpoint save/restore