Toward a TLM to RTL refinement : a formal approach

Jean-François Le Tallec 1 Julien Deantoni 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Due to increasing complexity of SoC and shortening life time cycle of product, time to market becomes a ma- jor challenge in SoC design. To overcome this problem, an abstract representation of the platform under develop- ment can be used by software developers at the early stage of the development. This abstracted platform is then re- fined until its complete specification. For now, it remains difficult to implement and simulate a system that mixes TLM and RTL code. In this paper, we proposed a first step to bridge this gap by using CCSL as a mean to synchro- nize the system interfaces independently of their abstrac- tion level. We describe a potential way to logically specify transaction at different levels of abstraction.
Type de document :
Communication dans un congrès
3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France. 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00494224
Contributeur : Jean-François Le Tallec <>
Soumis le : mardi 22 juin 2010 - 14:06:45
Dernière modification le : lundi 5 octobre 2015 - 16:57:50
Document(s) archivé(s) le : lundi 22 octobre 2012 - 14:40:43

Identifiants

  • HAL Id : inria-00494224, version 1

Collections

Citation

Jean-François Le Tallec, Julien Deantoni. Toward a TLM to RTL refinement : a formal approach. 3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France. 2009. <inria-00494224>

Partager

Métriques

Consultations de
la notice

287

Téléchargements du document

179