Checkpointing for Virtual Platforms and SystemC-TLM

Integrating simulation models created using different simulation systems is a common problem when constructing virtual platforms. Different companies and different departments can create models, and virtual platforms for different purposes using different tools. There are also existing models that n...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on very large scale integration (VLSI) systems 2013-01, Vol.21 (1), p.133-141
Main Authors: Monton, M., Engblom, J., Burton, M.
Format: Article
Language:English
Subjects:
Applied sciences
Bridges
Checkpointing
Computer science
control theory
systems
Computer simulation
Computer systems performance. Reliability
Electronics
Exact sciences and technology
Integrated circuits
Integrated circuits by function (including memories and processors)
Kernel
Mathematical models
Platforms
Program processors
Semantics
Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices
Simulators
Software
Synchronization
system-level verification
SystemC
Time domain analysis
Time varying systems
transaction-level modeling
Very large scale integration
virtual prototyping
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Integrating simulation models created using different simulation systems is a common problem when constructing virtual platforms. Different companies and different departments can create models, and virtual platforms for different purposes using different tools. There are also existing models that need to be integrated into new tools, or the other way around. The simulators can be quite different in details, even in the case of transaction-level models. We present work in integrating SystemC transaction-level models into two typical full-system simulation environments, QEMU and Simics. We present issues in reconciling the semantics of the different platforms, and our proposed solutions. In the Simics integration, we additionally enable checkpointing in the models, based on the Simics checkpoint mechanism.
ISSN:1063-8210
1557-9999
DOI:10.1109/TVLSI.2011.2181881