High-level platform modeling and exploration : Checkpointing for Virtual Platforms and SystemC & TLM-2.0 （2011. 132 S. 220 mm）

Montó/n, Mà/rius/Burton, Mark/Carrabina, Jordi

LAP LAMBERT ACADEMIC PUBLISHING（2011発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 132 p.
• 商品コード 9783844307269

Description

(Text)
One advantage of using a virtual platform over real hardware for embedded software development and testing is the ability of some simulators to take checkpoints of their state. If the entire system model is detailed enough, it might take several minutes (or hours) to simulate booting the O.S. If a snapshot of the simulation is saved just after it has finished booting, each time it is necessary to run the embedded software, designers can simply restore the snapshot and go. Restarting a checkpoint typically takes a few seconds. In this book we present our work on adding a description level language as SystemC to two Virtual Platforms. This work was done for a commercial Virtual Platform, and later translated to a open-sourced Platform. This book also presents a set of modifications to SystemC language to support checkpointing. These modifications will make it possible to take the state of a SystemC running simulation and save it to disk. Later, the same simulation can be restored to the same point it was before, without any change to the simulated modules. These changes would help SystemC to be suitable for use by Virtual Platforms as a description language.
(Author portrait)
Montón, MàriusMàrius Montón was born in Barcelona, Catalunya time ago. He received a B.S degree in Computer Science Eng. (2003) and PhD in Computer Science (2010). His research topics are focused on Virtual Platforms, joining SystemC and TLM-2.0 with other simulators, etc. He can be contacted at [e-mail]