Model-Based Virtual Prototype Acceleration

Gladigau J, Haubelt C, Teich J (2012)

Publication Type: Journal article

Publication year: 2012

Journal

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Institute of Electrical and Electronics Engineers (IEEE)

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

Book Volume: 31

Pages Range: 1572-1585

Journal Issue: 10

DOI: 10.1109/TCAD.2012.2205148

Abstract

Today, virtual prototypes are often employed for software development early in the design flow. There, high simulation speed may support fast development. So, the acceleration of virtual prototype simulation is important in the early phases of design. To accelerate virtual prototypes, complex prototype simulation can be prevented by exploiting model-specific knowledge. We replace complex event-driven interaction with execution of predefined traces. In particular, we show that, for many dataflow-dominated application models, such accelerating traces may be efficiently determined. Trace determination is based on a novel symbolic search technique. We show that virtual prototypes exploiting such traces may lead to a significant simulation time reduction. The benefits are quantified for the prototype of a SystemC/TLM network packet filter, where traces result in up to 30% simulation acceleration. © 2012 IEEE.

Authors with CRIS profile

Jens Gladigau Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Involved external institutions

Universität Rostock DE Germany (DE)

How to cite

APA:

Gladigau, J., Haubelt, C., & Teich, J. (2012). Model-Based Virtual Prototype Acceleration. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31(10), 1572-1585. https://dx.doi.org/10.1109/TCAD.2012.2205148

MLA:

Gladigau, Jens, Christian Haubelt, and Jürgen Teich. "Model-Based Virtual Prototype Acceleration." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 31.10 (2012): 1572-1585.

BibTeX: Download