Checkpointing for virtual platforms and systemc-tlm-2

Tesis doctoral de MÁ rius Montón Macián

One advantage of using a virtual platform or virtual prototype 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 even 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. This can translate into a major productivity gain, especially when working with embedded system with complex sw stacks and o.S. Like modern embedded devices. in this dissertation we present in firstly 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 thesis 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. finally, we discuss and propose some other alternatives to enhance systemc in the integration to virtual platform and to other eda tools.

 

Datos académicos de la tesis doctoral «Checkpointing for virtual platforms and systemc-tlm-2«

  • Título de la tesis:  Checkpointing for virtual platforms and systemc-tlm-2
  • Autor:  MÁ rius Montón Macián
  • Universidad:  Autónoma de barcelona
  • Fecha de lectura de la tesis:  17/12/2010

 

Dirección y tribunal

  • Director de la tesis
    • Mark Burton
  • Tribunal
    • Presidente del tribunal: lluís Terés terés
    • wolfgang Muller (vocal)
    • (vocal)
    • (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio