Publication

Sie verwenden einen Browser, in dem JavaScript deaktiviert ist. Dadurch wird verhindert, dass Sie die volle Funktionalität dieser Webseite nutzen können. Zur Navigation müssen Sie daher die Sitemap nutzen.

You are currently using a browser with deactivated JavaScript. There you can't use all the features of this website. In order to navigate the site, please use the Sitemap .

Cause and effect of nondeterministic behavior in sequential and parallel SystemC simulators

Authors:
Schumacher, C. ,  Weinstock, J. H.Leupers, R.Ascheid, G.
Book Title:
IEEE International High Level Design Validation and Test Workshop
Date:
Nov. 2012
Language:
English

Abstract

Simulators are used to aid the design of computer systems. Together with the computational power of computer systems, the demands towards their simulators are growing regarding speed, flexibility, as well as the predictability of their behavior. To increase simulation speed, simulation models are abstracted and simulated in parallel. To reduce simulator development time and to provide the greatest possible modeling flexibility, SystemC allows models to be written using C++ without restrictions. All three means, especially when used in combination, also increase the difficulty to reason about the behavior of the resulting simulator, in the worst case leading to unpredictable simulation behavior. This may threaten the fitness of simulators for demanding use-cases like the debugging of race conditions. This work discusses likely causes and impact of nondeter- ministic simulator behavior. Three examples taken from real-life models are used to illustrate the matter.

Download

BibTeX