Carbon Design Systems, Inc.

Arm Limited

William Neifert

Matt Grasse

Joseph Tatham

Joshua Marantz

Richard J Cloutier

Mark E Seneski

David C Scott

Richard Sayde

Brian Scott Sylvester

Ronald Scott Maxwell

Dylan Dobbyn

Mark Kostick

The disclosure contains descriptions of various methods and systems for accelerating the execution of a virtual prototype simulation. Acceleration may be achieved, for example, by providing two or more redundant virtual communication paths for access made by virtual models of a virtual prototype of a hardware design to provide for both accelerated access transactions and time-accurate access transactions. A model having such redundant virtual communication paths is referred to herein as a 'multimode model.'

Multimode execution of virtual hardware models

A method including accessing a first virtual prototype configured to perform a first simulation of a hardware design, identifying checkpoints within the first virtual prototype, each checkpoint including a storage state and/or behavioral state, and determining breakpoints for dividing execution of a second virtual prototype into a series of execution segments, where the second virtual prototype is configured to perform a second simulation of the hardware design, the second virtual prototype includes virtual models representing a separate portion of the hardware design, each virtual model representing a same portion of the hardware design as a corresponding virtual model of the first virtual prototype. The method may include mapping the storage state and/or behavioral state of each checkpoint to a respective execution segment, executing the second simulation while collecting respective data regarding execution of each execution segment, where two or more execution segments are executed concurrently, and aggregating the respective data.

Partitioning and parallel processing of a virtual prototype simulation of a hardware design

Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn be run using the saved stimuli and states.

Simulation of software

Growing community of inventors

Lexington, MA, United States of America

William Neifert