Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications

A known approach to improve the timing accuracy of an untimed or loosely timed TLM model is to add timing annotations into the code and to reduce the number of costly context switches using temporal decoupling, meaning that a process can go ahead of the simulation time before synchronizing again. Our current goal is to apply temporal decoupling to the TLM platform of a heterogeneous many-core SoC dedicated to high performance computing. Part of this SoC communicates using classic memory-mapped buses, but it can be extended with hardware accelerators communicating using FIFOs. Whereas temporal decoupling for memory-based transactions has been widely studied, FIFO-based communications raise issues that have not been addressed before. In this paper, we provide an efficient solution to combine temporal decoupling and FIFO-based communications.

[1]  Alain Greiner,et al.  Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[2]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[3]  Fernando Herrera,et al.  A framework for embedded system specification under different models of computation in SystemC , 2006, 2006 43rd ACM/IEEE Design Automation Conference.

[4]  Luca Benini,et al.  P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Martin Radetzki,et al.  Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling , 2009, IESS.

[6]  Alain Greiner,et al.  An Efficient TLM/T Modeling and Simulation Environment Based on Conservative Parallel Discrete Event Principles , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[7]  Timo D. Hamalainen,et al.  Analysis of modeling styles on Network-on-Chip simulation , 2010, NORCHIP 2010.

[8]  Florence Maraninchi,et al.  Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip , 2006, 2006 Formal Methods in Computer Aided Design.

[9]  Florence Maraninchi,et al.  A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip , 2008, 2008 Design, Automation and Test in Europe.

[10]  Wolfgang Nebel,et al.  Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling , 2008, 2008 Forum on Specification, Verification and Design Languages.