1. A machine implemented method comprising: accumulating first synchronization events of a software verification; and periodically, providing the accumulated first synchronization events to a hardware verification, and receiving accumulated second synchronization events of the hardware verification.