Model-Based Virtual Prototype Acceleration

Beitrag in einer Fachzeitschrift


Details zur Publikation

Autor(en): Gladigau J, Haubelt C, Teich J
Zeitschrift: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verlag: Institute of Electrical and Electronics Engineers (IEEE)
Jahr der Veröffentlichung: 2012
Band: 31
Heftnummer: 10
Seitenbereich: 1572-1585
ISSN: 0278-0070


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.



FAU-Autoren / FAU-Herausgeber

Gladigau, Jens Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Autor(en) der externen Einrichtung(en)
Universität Rostock


Zitierweisen

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: 

Zuletzt aktualisiert 2018-09-08 um 20:38