The Experts below are selected from a list of 6 Experts worldwide ranked by ideXlab platform

Mark Burton - One of the best experts on this subject based on the ideXlab platform.

  • Checkpointing for Virtual Platforms and SystemC-TLM
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2013
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    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.

  • Checkpointing for Virtual Platforms and SystemC-TLM-2 (PhD Thesis).” http://mariusmonton. com/PhDMarius.pdf
    2011
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    Abstract—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 transactionlevel 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. Index Terms—SystemC, system-level verification, transaction-level modeling, virtual prototyping. I

Marius Monton - One of the best experts on this subject based on the ideXlab platform.

  • Checkpointing for Virtual Platforms and SystemC-TLM
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2013
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    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.

  • Checkpointing for Virtual Platforms and SystemC-TLM-2 (PhD Thesis).” http://mariusmonton. com/PhDMarius.pdf
    2011
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    Abstract—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 transactionlevel 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. Index Terms—SystemC, system-level verification, transaction-level modeling, virtual prototyping. I

Jakob Engblom - One of the best experts on this subject based on the ideXlab platform.

  • Checkpointing for Virtual Platforms and SystemC-TLM
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2013
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    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.

  • Checkpointing for Virtual Platforms and SystemC-TLM-2 (PhD Thesis).” http://mariusmonton. com/PhDMarius.pdf
    2011
    Co-Authors: Marius Monton, Jakob Engblom, Mark Burton
    Abstract:

    Abstract—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 transactionlevel 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. Index Terms—SystemC, system-level verification, transaction-level modeling, virtual prototyping. I