Microsoft Technology Licensing, LLC

Synopsys, Inc.

Stephan Tobies

Dietmar Petras

Thomas M Philipp

Kristof A Niederholtmeyer

Koen M C Velle

Embodiments of the present disclosure support a simulation of a plurality of processor core models. The processor core models are executed in parallel within a sliding time window of a defined size. Each processor core model is executed in a different corresponding thread and advances a local core time within the sliding time window. The sliding time window advances by updating a start time of the sliding time window based on the local core time of each processor core model. One or more hardware models and a simulation kernel are executed in a separate thread having a simulation time and simulation events. The start time of the sliding time window is updated based further on an event time of a next event of the simulation events scheduled in the separate thread.

Sliding time window control mechanism for parallel execution of multiple processor core models in a virtual platform simulation

One or more resolution processes run concurrently with the synchronization process of each replica, in response to detection of one or more synchronization conflicts. Each resolution process works to resolve the conflict for a data object while the synchronization process continues to process other synchronization updates. After a conflict resolution has been determined, the conflict resolution is tested against current conditions of the local replica. If the conflict resolution is not stale, it is applied to the local replica and passed back to the synchronization process for propagation to remote replicas. Otherwise, if the conflict resolution is stale, it is discarded.

Growing community of inventors

Erkelenz, Germany

Stephan Tobies