VIEIRA DE MELLO Aline
Supervision : Alain GREINER
Co-supervision : PECHEUX François
TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations
Innovative hardware architectures in the microelectronics industry are mainly characterized by their incredibly high level of parallelism. Despite their relative novelty, Multi-Processors System on Chip (MPSoCs) containing a few cores tend to be replaced by Massively Parallel MPSoCs (MP2SoCs), which integrate dozens or hundreds of processor cores interconnected through a possibly hierarchical network on chip. The increase of processing power and parallelism creates the need for faster yet accurate simulation tools for virtual prototyping, supporting both functional verification and performance evaluation (timing and power consumption). Several industrial and academic frameworks appeared to help modeling, simulating and debugging MP2SoC architectures. The SystemC hardware description language is the effective backbone of all these frameworks, which allows to describe the hardware at various levels of abstraction, ranging from synthesizable RTL (more accurate and very slow) to TLM (less accurate and very fast). However, when it comes to simulate an architecture containing hundreds of processors, even the simulation speed brought by TLM is not enough. Simultaneously, multi-core workstations are becoming the mainstream, and SMP (Symmetric Multi-Processors) workstations will soon contain several tens of cores. Unfortunately, the genuine SystemC simulation kernel is fully sequential and cannot exploit the processing power provided by these multi-cores machines. In this context, the strategic goal of this thesis is to propose a general modeling approach for timed TLM virtual prototyping of shared memory MP2SoCs, called Transaction Level Modeling with Distributed Time (TLM-DT). The main idea of the TLM-DT approach is not to use anymore the SystemC global simulation time, becoming possible to use a truly parallel simulation engine and providing a significant reduction in simulation time with a limited loss of precision.
Defence : 06/25/2013
Jury members :
Mme. Florence MARANINCHI, VERIMAG [Rapporteur]
M. Pascal SAINRAT, Université Paul Sabatier - IRIT [Rapporteur]
M. Etienne LANTREIBECQ, ST Microeletronics
M. Jean-Luc LAMOTTE, LIP6
M. François PECHEUX, LIP6
M. Alain GREINER, LIP6
2009-2013 Publications
-
2013
- A. Vieira de Mello : “Architectures de micro-réseaux intégrés sur puce dans le systhèmes multi-processeurs massivement parallèles”, thesis, phd defence 06/25/2013, supervision Greiner, Alain, co-supervision : Pecheux, François (2013)
-
2011
- I. Maïa Pessoa, A. Vieira De Mello, A. Greiner, F. Pêcheux : “Parallel TLM simulation of MPSoC on SMP workstations: Influence of communication locality”, ICM 2010 - 22nd International Conference on Microelectronics, Cairo, Egypt, pp. 359-362 (2011)
-
2010
- A. Vieira De Mello, I. Maïa Pessoa, A. Greiner, F. Pêcheux : “Parallel Simulation of SystemC TLM 2.0 Compliant MPSoC on SMP Workstations”, DATE 2010 - Design, Automation & Test in Europe Conference & Exhibition, Dresden, Germany, pp. 606-609 (2010)
-
2009
- N. Pouillon, A. Bécoulet, A. Vieira De Mello, F. Pêcheux, A. Greiner : “A Generic Instruction Set Simulator API for Timed and Untimed Simulation and Debug of MP2-SoCs”, IEEE/IFIP International Symposium on Rapid System Prototyping, 2009. RSP '09., Paris, France, pp. 116-122 (2009)