Title :
Modeling of time in discrete-event simulation of systems-on-chip
Author :
Funchal, Giovanni ; Moy, Matthieu
Author_Institution :
STMicroelectronics, Grenoble, France
Abstract :
Today´s consumer electronics industry uses modeling and simulation to cope with the complexity and time-to-market challenges of designing high-tech devices. In such context, Transaction-Level Modeling (TLM) is a widely spread modeling approach often used in conjunction with the IEEE standard SystemC discrete-event simulator. In this paper, we present a novel approach to modeling time that distinguishes between instantaneous actions and tasks with a duration. We argue that this distinction should be natural to the user. In addition, we show that it gives us important insight and better comprehension of what actions can overlap in time. We are able to exploit this distinction to parallelize the simulation, achieving an important speedup and exposing subtle software bugs related to parallelism. We propose a set of primitives and discuss the design decisions, expressiveness and semantics in depth. We present a research simulator called jTLM that implements all these ideas.
Keywords :
consumer electronics; discrete event simulation; electronic engineering computing; system-on-chip; IEEE standard SystemC discrete event simulator; consumer electronics industry; discrete event simulation; high-tech device; systems-on-chip; time-to-market challenge; transaction-level modeling; Computational modeling; Hardware; Registers; Software; Time domain analysis; Time varying systems; Timing;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on
Conference_Location :
Cambridge
Print_ISBN :
978-1-4577-0117-7
Electronic_ISBN :
978-1-4577-0118-4
DOI :
10.1109/MEMCOD.2011.5970524