Abstract
To achieve fast verification of the software part of embedded system, we propose to run the target processor optimistically, which effectively reduces the synchronization over-head with other simulators. For the optimistic processor execution, we present a processor execution platform and state saving/restoration methods. We performed optimistic execution of ARM710A processor in the coverification of an IS-95 CDMA cellular phone system and obtained up to orders of magnitude higher performance compared with the case that the processor runs conservatively.